src2texi revision 1b8adde7ba7d5e04395c141c5400dc2cffd7d809
7b1443968fea3c27f050045c4c16820211119099jeff_schiller# Convert a source file to a TeXinfo file. Stolen from glibc.
7b1443968fea3c27f050045c4c16820211119099jeff_schiller# Usage: src2texi SRCDIR SRC TEXI
7b1443968fea3c27f050045c4c16820211119099jeff_schiller -e 's,/\*\(@.*\)\*/,\1,g' \
7b1443968fea3c27f050045c4c16820211119099jeff_schiller -e 's/\(@[a-z][a-z]*\)@{\([^}]*\)@}/\1{\2}/g' \