doc: Use DOCTITLE to set manual first page title
authorRamprasad Venkataraman <ramv@illinois.edu>
Sat, 4 Aug 2012 18:13:02 +0000 (13:13 -0500)
committerRamprasad Venkataraman <ramv@illinois.edu>
Sat, 4 Aug 2012 18:20:04 +0000 (13:20 -0500)
doc/Makefile.common

index 729f991e48bb0fcac00850be3ad92a060a99d903..94ee01465398b56e59eed6b62029b4fe30ced055 100644 (file)
@@ -21,6 +21,7 @@ L2H=latex2html -white -antialias -local_icons \
        -long_titles 1 \
        -show_section_numbers \
        -top_navigation \
+       -t $(DOCTITLE) \
        -address '<p align="right">'"`/bin/date +"%B %d, %Y"`"'<br> \
             '$(PROJECT_LINK)'<a href="http://charm.cs.illinois.edu/">PPL Homepage</a>'