Indentation fix, cleanup.
[AROS.git] / arch / all-pc / boot / grub / docs / src2texi
blob10786d9716a69b7bc7467ec9118a5075e6e3ae98
1 #! /bin/sh
3 # Convert a source file to a TeXinfo file. Stolen from glibc.
5 # Usage: src2texi SRCDIR SRC TEXI
7 dir=$1
8 src=`basename $2`
9 texi=`basename $3`
11 sed -e 's,[{}],@&,g' \
12 -e 's,/\*\(@.*\)\*/,\1,g' \
13 -e 's,/\* *,/* @r{,g' -e 's, *\*/,} */,' \
14 -e 's/\(@[a-z][a-z]*\)@{\([^}]*\)@}/\1{\2}/g' \
15 ${dir}/${src} | expand > ${texi}.new
16 mv -f ${texi}.new ${dir}/${texi}