html: html_local html_local: html/index.html html/index.html latex/index.tex: FORCE index.html doxygen Doxyfile index.html: echo "">index.html echo "">>index.html echo "">>index.html EXTRA_DIST = wxmaxima.png pdf-am: html/index.html cd latex&&pdflatex refman.tex cd latex&&pdflatex refman.tex cd latex&&pdflatex refman.tex FORCE: