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} 17
