diff --git a/PP/Doc/Makefile b/PP/Doc/Makefile index dbe1df64f..99f4545cf 100644 --- a/PP/Doc/Makefile +++ b/PP/Doc/Makefile @@ -1,5 +1,6 @@ HELPDOC = ../../dev-tools/helpdoc LATEX = pdflatex +LATEX2HTML = latex2html HTMLS = INPUT_PP.html \ INPUT_PROJWFC.html \ @@ -7,7 +8,7 @@ HTMLS = INPUT_PP.html \ INPUT_BANDS.html \ INPUT_pw_export.html \ INPUT_pw2bgw.html \ - INPUT_bgw2pw.html + INPUT_bgw2pw.html PDFS = eps_man.pdf user_guide.pdf AUXS = $(PDFS:.pdf=.aux) @@ -19,8 +20,9 @@ XMLS = $(HTMLS:.html=.xml) TXTS = $(HTMLS:.html=.txt) doc: all -all: pdf defs +all: pdf defs html pdf: $(PDFS) +html: user_guide $(PDFS): %.pdf: %.tex $(LATEX) $< @@ -67,6 +69,26 @@ link_on_main_doc: ln -fs ../PP/Doc/INPUT_bgw2pw.xml . ; \ ln -fs ../PP/Doc/INPUT_bgw2pw.txt .) +user_guide: user_guide.pdf + rm -rf user_guide/ + latex2html \ + -t "User's Guide for the PP package" \ + -html_version 3.2,math \ + -toc_depth 5 -split 5 -toc_stars -show_section_numbers \ + -local_icons -image_type png \ + user_guide.tex + cd user_guide; \ + for file in *.html; do \ + cp $$file /tmp/$$file; \ + cat /tmp/$$file | sed 's/HREF="http/NAME="http/g' | sed 's/mathend000#//g' - > $$file; \ + rm -f /tmp/$$file; \ + done + @echo "" + @echo "***" + @echo "*** User's Guide created in user_guide/user_guide.html" + @echo "***" + @echo "" + clean: - rm -f $(PDFS) $(AUXS) $(LOGS) $(OUTS) $(TOCS) - rm -f $(HTMLS) $(TXTS) $(XMLS) input_xx.xsl *~