diff options
| author | Cem Keylan <cem@ckyln.com> | 2021-04-15 10:51:15 +0300 |
|---|---|---|
| committer | Cem Keylan <cem@ckyln.com> | 2021-04-15 10:51:41 +0300 |
| commit | c8b701c2f509d3bcad10f69cb662de2e2517f884 (patch) | |
| tree | f61b27061ce58423d6eea7b6541fcc6ef9cfe358 /install.html.do | |
| parent | aab5cc17af437489b72a605919bd8038d0db6663 (diff) | |
| download | docs-c8b701c2f509d3bcad10f69cb662de2e2517f884.tar.gz | |
Remove redo files
Diffstat (limited to 'install.html.do')
| -rw-r--r-- | install.html.do | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/install.html.do b/install.html.do deleted file mode 100644 index 838e3d6..0000000 --- a/install.html.do +++ /dev/null @@ -1,23 +0,0 @@ -exec >&2 -. ./config.rc -redo-ifchange "$ORG" htmlize/htmlize.el flatui/flatui-theme.el - -cp "$ORG" "$3.org" -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. -${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") -(setq org-export-with-toc nil) -(org-html-export-to-html nil t nil t) -(revert-buffer nil t) -)' - -printf '%s\n' "<h1>Carbs Linux Installation Guide</h1>" > "$3" -cat "$3.html" >> "$3" |