File r38/help/mkinfo.bat artifact 614e21ee9e part of check-in 8e196c7117
REM------------------------------------------------------------- REM REM Compile REDUCE help info for GNU info format REM REM------------------------------------------------------------- start /w r36 mkinfo.red -v -l mkinfo.log start /w r36 sed.red -v -l sed.log del redhelp.x makeinfo --no-split -o redhelp.inf redhelp.y del redhelp.y REM To use the resulting redhelp.info, you need the Gnu "info" program. REM Say "info -f redhelp.inf".