from code-server

2021-03-23 22:38:58 +00:00 · 2021-03-23 22:38:58 +00:00 · 5ef8bdba47
commit 5ef8bdba47
parent eda5c02fe9
2652 changed files with 528235 additions and 0 deletions
--- a/dita-ot-3.6/docsrc/samples/properties/docs-build-htmlhelp.properties
+++ b/dita-ot-3.6/docsrc/samples/properties/docs-build-htmlhelp.properties
@ -0,0 +1,17 @@
+# Copy the custom .css file to the output directory:
+args.copycss = yes
+
+# Custom .css file used to style output:
+args.css = dita-ot-doc.css
+
+# Location of the copied .css file relative to the output:
+args.csspath = css
+
+# Directory that contains the custom .css file:
+args.cssroot = resources
+
+# Generate headings for sections within task topics:
+args.gen.task.lbl = YES
+
+# Stop processing if there are any errors:
+processing-mode = strict