diff options
author | Cem Keylan <cem@ckyln.com> | 2020-12-26 02:39:36 +0300 |
---|---|---|
committer | Cem Keylan <cem@ckyln.com> | 2020-12-26 03:12:25 +0300 |
commit | d1590234d19724f14e8ba94582986963fce47267 (patch) | |
tree | 1bb6273414ef57443b3cdda21f0329b0dc8ae742 /install.html.do | |
parent | 06aca27d4b504ea5f42f4611fa3b44d9429bea75 (diff) | |
download | docs-d1590234d19724f14e8ba94582986963fce47267.tar.gz |
docs: switch to redo build system.20201226
Diffstat (limited to 'install.html.do')
-rw-r--r-- | install.html.do | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/install.html.do b/install.html.do new file mode 100644 index 0000000..90e6c1c --- /dev/null +++ b/install.html.do @@ -0,0 +1,21 @@ +exec >&2 +. ./config.rc +redo-ifchange "$ORG" htmlize/htmlize.el flatui/flatui-theme.el + +cp "$ORG" "$3.org" +trap 'rm -f $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. +${EMACS} "$3.org" --eval \ +'(progn +(load-file "flatui/flatui-theme.el") +(add-to-list '"'"'custom-theme-load-path (concat default-directory "flatui/")) +(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) +(revert-buffer nil t) +)' + +mv "$3.html" "$3" |