File r38/help/mkhelpu.csl artifact fce755f979 part of check-in 46c747b52c
#! /bin/csh #------------------------------------------------------------- # # Compile REDUCE help info for GNU info format # #------------------------------------------------------------- $red36/csl/r36 -i $red36/csl/r36.img -k8000 mkinfo.red -Dpackage=redhelp -v -l mkinfo.log rm redhelp.x mv redhelp.y redhelp.x # makeinfo --no-split -o redhelp.inf redhelp.x # rm redhelp.x # To use the resulting redhelp.info, you need the Gnu "info" program. # Say "info -f redhelp.inf".