diff --git a/docs/src/Makefile b/docs/src/Makefile index 56093d76..1c892674 100644 --- a/docs/src/Makefile +++ b/docs/src/Makefile @@ -112,7 +112,7 @@ DATE = $(shell date +%Y-%m-%d) ## Programs # LATEX = latex -LTX2HTML = latex2html +LTX2HTML = latex2html -local_icons PDFLATEX = pdflatex ACRO = evince XPDF = xpdf