version 1.2, 2001/02/02 18:48:20
|
version 1.4, 2001/12/13 14:53:23
|
|
|
useNormalComments false | useNormalComments false |
| |
# Parse HTML syntax, not only TeX | # Parse HTML syntax, not only TeX |
# HTMLSyntax false |
# HTMLSyntax true |
| |
# Read a list of input files from this file | # Read a list of input files from this file |
# fileList | # fileList |
|
|
upwardsArrows false | upwardsArrows false |
| |
# Turn verbose mode on | # Turn verbose mode on |
verboseOperation false |
verboseOperation true |
| |
# Scan `#include'ed header files | # Scan `#include'ed header files |
scanIncludes false | scanIncludes false |
|
|
useTablesWithBorders true | useTablesWithBorders true |
| |
# Use this file as footer on HTML pages | # Use this file as footer on HTML pages |
footer pagefooter.html |
footer PageFooter.html |
| |
# Set the output directory | # Set the output directory |
# Turned this off because not sure that it | # Turned this off because not sure that it |
|
|
htmlSuffix .html | htmlSuffix .html |
| |
# use this file as HTML style sheet | # use this file as HTML style sheet |
# htmlStyleSheet |
htmlStyleSheet http://www.opengroup.org/stylesheets/info1.css"> |
| |
# | # |
# Additional options for TeX output | # Additional options for TeX output |