usr/src/grub/grub-0.97/docs/src2texi

   1 #! /bin/sh
   2 #
   3 # Convert a source file to a TeXinfo file. Stolen from glibc.
   4 #
   5 # Usage: src2texi SRCDIR SRC TEXI
   6
   7 dir=$1
   8 src=`basename $2`
   9 texi=`basename $3`
  10
  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}