File r37/help/mkgnu artifact e858b664c0 part of check-in 58a25bf8df
#! /bin/csh makeinfo --no-split -o $1.info $1.x # To use the resulting $1.info, you need Xr, or the Gnu "info" program. # If you use the latter, say "info -f $1.info".
#! /bin/csh makeinfo --no-split -o $1.info $1.x # To use the resulting $1.info, you need Xr, or the Gnu "info" program. # If you use the latter, say "info -f $1.info".