diff options
-rw-r--r-- | docs/Makefile | 6 | ||||
-rw-r--r-- | docs/check_pkgs | 1 |
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 |