File r38/help/mkinfo.bat artifact 614e21ee9e part of check-in 09c3848028


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".



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