This modification is designed to separate HTML and PDF documentation. make html-manua...

diff --git a/docs/Makefile.in b/docs/Makefile.in
index cff073601b094f674bb0aa3a2650a6d8537d14cb..d0d6ac3062635cc7aaeccd7d1fb9894813e04a4f 100644 (file)
--- a/docs/Makefile.in
+++ b/docs/Makefile.in
@@ -38,7 +38,14 @@ DIST   = Makefile.in
 
 en: all
 
-all:   templates external-references
+all:   pdf-manuals html-manuals
+       @echo ""
+       @echo "All manuals built ..."
+       @echo ""
+       @echo ""
+       @echo ""
+
+pdf-manuals: templates external-references
        @echo " "
        @echo "Generating PDF manuals..."
        @for I in ${en_dirs}; \
@@ -46,17 +53,29 @@ all:        templates external-references
              $(MAKE) pdflatex || (echo ""; echo ""; echo "  ====== Error in `pwd` ======"; \
                            echo ""; echo ""; exit 1;)); \
        done
+       @echo ""
+       @echo "All PDF manuals built ..."
+       @echo ""
+       @echo ""
+       @echo ""
+
+html-manuals: templates external-references
+       @echo " "
+       @echo "Creating Web documentation..."
        @for I in ${en_dirs}; \
          do (cd $$I; echo "==>Entering directory `pwd`"; \
              $(MAKE) web || (echo ""; echo ""; echo "  ====== Error in `pwd` ======"; \
                            echo ""; echo ""; exit 1;)); \
        done
-       @echo " "
-       @echo "Creating Web documentation..."
        @(cd $(toolsdir) ; $(TRANSLATE))
        @echo "Remove links ..."
        find . -type l -exec rm {} \;
-       @echo "All manuals built ..."
+       @echo ""
+       @echo "All HTML manuals built ..."
+       @echo ""
+       @echo ""
+       @echo ""
+
 
 templates:
        @echo " "