aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--docs/Makefile6
-rw-r--r--docs/check_pkgs1
2 files changed, 4 insertions, 3 deletions
diff --git a/docs/Makefile b/docs/Makefile
index e05a84fad4..8b968dc87e 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -25,7 +25,9 @@ ps: $(DOC_PS)
pdf: $(DOC_PDF)
-html: $(DOC_HTML)
+html:
+ @if which $(LATEX2HTML) 1>/dev/null 2>/dev/null; then \
+ $(MAKE) $(DOC_HTML); fi
clean:
rm -rf .word_count *.aux *.dvi *.bbl *.blg *.glo *.idx *~
@@ -37,7 +39,7 @@ install: all
$(INSTALL_DIR) $(DESTDIR)$(pkgdocdir)
cp -dR ps $(DESTDIR)$(pkgdocdir)
cp -dR pdf $(DESTDIR)$(pkgdocdir)
- cp -dR html $(DESTDIR)$(pkgdocdir)
+ [ ! -d html ] || cp -dR html $(DESTDIR)$(pkgdocdir)
pdf/%.pdf: ps/%.ps
$(INSTALL_DIR) $(@D)
diff --git a/docs/check_pkgs b/docs/check_pkgs
index e705720458..25a624ef24 100644
--- a/docs/check_pkgs
+++ b/docs/check_pkgs
@@ -13,7 +13,6 @@ silent_which ()
}
silent_which latex || exit 1
-silent_which latex2html || exit 1
silent_which dvips || exit 1
silent_which ps2pdf || exit 1
silent_which fig2dev || exit 1