1 IMAGES=../../../../images
3 MAINDOC=Problem_Resolution_Guide.html
5 # Web documentation generation
6 HTML_TITLE="Problem Resolution Guide"
10 LATEX_TO_HTML=latex2html -split ${HTML_DEPTH} -local_icons -t ${HTML_TITLE} -long_titles ${HTML_TITLES} -toc_stars -contents_in_nav -init_file ./latex2html-init.pl -no_antialias -no_antialias_text -white -notransparent ${DOC} -html_version ${HTML_VERSION} >tex.out 2>&1
22 @echo -n "Generating PNG images..."
23 @(cd ${IMAGES}/svg ; make png)
25 @echo -n "Linking png images..."
26 @(for F in $(IMAGES)/*.png ;\
28 ln -sf $$F ./`basename $$F`; \
30 @(for F in $(IMAGES)/png/*.png ;\
32 ln -sf $$F ./`basename $$F`; \
38 @echo -n "Cleaning..."
39 @find . -type l -iname "*.png" -exec rm -f {} \;
44 @rm -f next.png prev.png up.png
45 @rm -f ${DOC}/xp-*.png
46 @rm -f ${DOC}/next.png ${DOC}/prev.png ${DOC}/up.png
48 @cp -f ${DOC}/${MAINDOC} ${DOC}/index.html
49 @echo "Done making web"