mirror of
git://git.git.savannah.gnu.org/grub.git
synced 2026-08-28 13:15:42 +00:00
Vladimir 'phcoder' Serbinenko
17 lines
392 B
Bash
17 lines
392 B
Bash
#! /bin/sh
|
|
#
|
|
# Convert a source file to a TeXinfo file. Stolen from glibc.
|
|
#
|
|
# Usage: src2texi SRCDIR SRC TEXI
|
|
|
|
dir=$1
|
|
src=`basename $2`
|
|
texi=`basename $3`
|
|
|
|
sed -e 's,[{}],@&,g' \
|
|
-e 's,/\*\(@.*\)\*/,\1,g' \
|
|
-e 's,/\*,/* @r{,g' -e 's, *\*/,} */,' \
|
|
-e 's/\(@[a-z][a-z]*\)@{\([^}]*\)@}/\1{\2}/g' \
|
|
${dir}/${src} | expand > ${texi}.new
|
|
mv -f ${texi}.new ${dir}/${texi}
|