5 @echo The manual build system has been replaced by CMake. Please read the
6 @echo README for instructions. You can save yourself some pain by running
7 @echo
'make clean' now to
get rid of old files that might break CMake
11 $(RM
) *.log
*.lof
*.lot
*.bbl
*.blg
*.toc
*.
dvi *.aux
*.ps
*~ \
#*\# *.idx *.ilg *.ind *.out *.pdf
12 $(RM
) progman.
tex proglist.
tex g_options.
tex mdp_opt.
tex programs.txt mdp_opt.html