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