Artifact 24b090b5722cfd6a1cb4d91da8ef18bc8edfa874a7c68ba481d0df99f3021b92:


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

REM 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 ]