diff options
Diffstat (limited to 'webhelp/build.properties')
-rw-r--r-- | webhelp/build.properties | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/webhelp/build.properties b/webhelp/build.properties index 23e0994..9432e77 100644 --- a/webhelp/build.properties +++ b/webhelp/build.properties @@ -35,7 +35,7 @@ xml-apis.jar=/usr/share/java/xml-apis.jar # For non-ns version only, this validates the document # against a dtd. -validate-against-dtd=true +validate-against-dtd=false # The extension for files to be indexed (html/htm/xhtml etc.) html.extension=html @@ -64,4 +64,9 @@ brandname=DocBook # Set admon.graphics to 1 to user graphics for note, tip, etc. admon.graphics=0 -suppress.footer.navigation=0
\ No newline at end of file +suppress.footer.navigation=0 + +# Use this property to specify a list of file +# names to exclude from indexing. For example, +# you may choose not to index your book index. +indexer-excluded-files=ix01.html
\ No newline at end of file |