docs-build-htmlhelp.properties 441 B

1234567891011121314151617
  1. # Copy the custom .css file to the output directory:
  2. args.copycss = yes
  3. # Custom .css file used to style output:
  4. args.css = dita-ot-doc.css
  5. # Location of the copied .css file relative to the output:
  6. args.csspath = css
  7. # Directory that contains the custom .css file:
  8. args.cssroot = resources
  9. # Generate headings for sections within task topics:
  10. args.gen.task.lbl = YES
  11. # Stop processing if there are any errors:
  12. processing-mode = strict