changed html generation to include the default style sheet
authorFilippo Gioachin <gioachin@illinois.edu>
Sun, 9 Dec 2007 05:50:52 +0000 (05:50 +0000)
committerFilippo Gioachin <gioachin@illinois.edu>
Sun, 9 Dec 2007 05:50:52 +0000 (05:50 +0000)
doc/Makefile.common

index 00d97b4b86fcd7f00480f8e7b5a5de0f41b4c004..2172314982ca0b6d11a72178f245a17638d917b4 100644 (file)
@@ -19,6 +19,7 @@ WEBDIR=/www/ppl_manuals
 L2H=latex2html -white -antialias -local_icons \
        -long_titles 1 \
        -show_section_numbers \
+       -top_navigation \
        -address '<p align="right">'"`/bin/date +"%B %d, %Y"`"'<br> \
             '$(PROJECT_LINK)'<a href="http://charm.cs.uiuc.edu/">Charm Homepage</a>'
 
@@ -51,6 +52,8 @@ html: $(FILE)
 $(FILE): $(TEX) $(FILE).aux
        -@ln -s ../pplmanual.* .
        -@rm -fr $(FILE)/*.html $(FILE)/*.aux
+       -@mkdir $(FILE)
+       -@ln -s ../../manual.css $(FILE)
        $(LATEX2HTML) $(FILE).tex
        ../latex2html_fixpaths.sh