2 # This file will be used to create the HTML version
3 # of the documentation.
4 IMAGES=../../../../images
6 MAINDOC=Utility_Programs.html
8 # Web documentation generation
9 HTML_TITLE="Utility Programs"
13 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
25 @echo -n "Generating PNG images..."
26 @(cd ${IMAGES}/svg ; make png)
28 @echo -n "Linking png images..."
29 @(for F in $(IMAGES)/*.png ;\
31 ln -sf $$F ./`basename $$F`; \
33 @(for F in $(IMAGES)/png/*.png ;\
35 ln -sf $$F ./`basename $$F`; \
41 @echo -n "Cleaning..."
42 @find . -type l -iname "*.png" -exec rm -f {} \;
47 @rm -f next.png prev.png up.png
48 @rm -f ${DOC}/xp-*.png
49 @rm -f ${DOC}/next.png ${DOC}/prev.png ${DOC}/up.png
51 @cp -f ${DOC}/${MAINDOC} ${DOC}/index.html
52 @echo "Done making web"