docs-build-html5.properties 670 B

1234567891011121314151617181920212223242526
  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. # File that contains the running header content:
  12. args.hdr = ${basedir}/resources/header.xml
  13. # Base name of the Table of Contents file:
  14. args.html5.toc = toc
  15. # Generate a partial navigation TOC in topic pages:
  16. nav-toc = partial
  17. # Stop processing if there are any errors:
  18. processing-mode = strict