1*8044SWilliam.Kucharski@Sun.COM#! /bin/sh 2*8044SWilliam.Kucharski@Sun.COM# 3*8044SWilliam.Kucharski@Sun.COM# Convert a source file to a TeXinfo file. Stolen from glibc. 4*8044SWilliam.Kucharski@Sun.COM# 5*8044SWilliam.Kucharski@Sun.COM# Usage: src2texi SRCDIR SRC TEXI 6*8044SWilliam.Kucharski@Sun.COM 7*8044SWilliam.Kucharski@Sun.COMdir=$1 8*8044SWilliam.Kucharski@Sun.COMsrc=`basename $2` 9*8044SWilliam.Kucharski@Sun.COMtexi=`basename $3` 10*8044SWilliam.Kucharski@Sun.COM 11*8044SWilliam.Kucharski@Sun.COMsed -e 's,[{}],@&,g' \ 12*8044SWilliam.Kucharski@Sun.COM -e 's,/\*\(@.*\)\*/,\1,g' \ 13*8044SWilliam.Kucharski@Sun.COM -e 's,/\* *,/* @r{,g' -e 's, *\*/,} */,' \ 14*8044SWilliam.Kucharski@Sun.COM -e 's/\(@[a-z][a-z]*\)@{\([^}]*\)@}/\1{\2}/g' \ 15*8044SWilliam.Kucharski@Sun.COM ${dir}/${src} | expand > ${texi}.new 16*8044SWilliam.Kucharski@Sun.COMmv -f ${texi}.new ${dir}/${texi} 17