File r37/doc/util/mkman1 artifact b8393833ef part of check-in 6f3f9aca4c
# The REDUCE User's Manual --- LaTeX version. latex reduce latex reduce latex reduce makeindex reduce latex reduce
# The REDUCE User's Manual --- LaTeX version. latex reduce latex reduce latex reduce makeindex reduce latex reduce