File r38/doc/help/mkhelp artifact c8de299c49 part of check-in 255e9d69e6
# The REDUCE Reference Manual latex redhelp latex redhelp latex redhelp makeindex redhelp latex redhelp
# The REDUCE Reference Manual latex redhelp latex redhelp latex redhelp makeindex redhelp latex redhelp