version 1.1, 2001/01/24 14:18:49
|
version 1.2, 2001/02/02 18:48:20
|
|
|
footer pagefooter.html | footer pagefooter.html |
| |
# Set the output directory | # Set the output directory |
outputDir html |
# Turned this off because not sure that it |
|
# can take environment variables as input |
|
# We use %PEGASUSMANUAL_HOME% to locate html. |
|
#outputDir html |
| |
# Show filenames in manual pages | # Show filenames in manual pages |
showFilenames true | showFilenames true |
|
|
# environment | # environment |
| |
# Generate index | # Generate index |
generateIndex false |
generateIndex true |
| |
# Setup TeX style option | # Setup TeX style option |
# style | # style |