diff options
Diffstat (limited to 'install.html.do')
| -rw-r--r-- | install.html.do | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/install.html.do b/install.html.do index 90e6c1c..838e3d6 100644 --- a/install.html.do +++ b/install.html.do @@ -3,7 +3,7 @@ exec >&2 redo-ifchange "$ORG" htmlize/htmlize.el flatui/flatui-theme.el cp "$ORG" "$3.org" -trap 'rm -f $3.org' EXIT INT +trap 'rm -f $3.html $3.org' EXIT INT # Org HTML export is a bit of a mess from the command line. I have added flatui # and htmlize repositories as a submodule so that we don't rely on packages. @@ -14,8 +14,10 @@ ${EMACS} "$3.org" --eval \ (load-theme '"'"'flatui t) (load-file "htmlize/htmlize.el") (org-mode) (replace-regexp "^* Installation" "* Carbs Linux Installation Guide") -(org-html-export-to-html nil t) +(setq org-export-with-toc nil) +(org-html-export-to-html nil t nil t) (revert-buffer nil t) )' -mv "$3.html" "$3" +printf '%s\n' "<h1>Carbs Linux Installation Guide</h1>" > "$3" +cat "$3.html" >> "$3" |