xref: /titanic_44/usr/src/grub/grub-0.97/docs/src2texi (revision 56b2bdd1f04d465cfe4a95b88ae5cba5884154e4)
1#! /bin/sh
2#
3# Convert a source file to a TeXinfo file. Stolen from glibc.
4#
5# Usage: src2texi SRCDIR SRC TEXI
6
7dir=$1
8src=`basename $2`
9texi=`basename $3`
10
11sed -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
16mv -f ${texi}.new ${dir}/${texi}
17