Artifact d12f92ce9e69eea538deef59c21ef40d81df2c107e4d1ec12d2fc9c52d98ced6:


#! /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".


REDUCE Historical
REDUCE Sourceforge Project | Historical SVN Repository | GitHub Mirror | SourceHut Mirror | NotABug Mirror | Chisel Mirror | Chisel RSS ]