From a7a8e4481bce810d077ea682b8379535a20931c9 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 17 Mar 2022 21:09:26 +0000 Subject: Update documentation files --- docs/Makefile | 14 +++++++++++--- docs/res/publish-html.el | 22 ---------------------- docs/res/publish-man.el | 12 ------------ docs/res/publish-manual.el | 12 ------------ docs/res/publish.el | 23 +++++++++++++++++++++++ 5 files changed, 34 insertions(+), 49 deletions(-) delete mode 100644 docs/res/publish-html.el delete mode 100644 docs/res/publish-man.el delete mode 100644 docs/res/publish-manual.el create mode 100644 docs/res/publish.el (limited to 'docs') diff --git a/docs/Makefile b/docs/Makefile index 93083cd..9d4f361 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -3,19 +3,27 @@ all: manual src man-html install-deps: emacs --batch --load ./res/install-deps.el +%.man: %.org + emacs --batch --file $< --load ./res/publish.el --funcall org-man-export-to-man + +%.html: %.org + emacs --batch --file $< --load ./res/publish.el --funcall org-html-export-to-html + manual: mkdir -p manual - emacs --batch --file documentation.org --load ./res/publish-manual.el + emacs --batch --file documentation.org --load ./res/publish.el --funcall org-texinfo-export-to-texinfo makeinfo --html --number-sections --no-split \ --css-ref "https://www.gnu.org/software/emacs/manual.css" \ vericert.texi -o ./manual/index.html cp -r images ./manual/. -man-html: +man-html: man.html mkdir -p man - emacs --batch --file man.org --load ./res/publish-html.el cp man.html ./man/vericert.1.html +vericert.1: man.man + cp $< $@ + src: $(MAKE) -C .. doc cp -r ../html src diff --git a/docs/res/publish-html.el b/docs/res/publish-html.el deleted file mode 100644 index a9c7a9d..0000000 --- a/docs/res/publish-html.el +++ /dev/null @@ -1,22 +0,0 @@ -(require 'package) -(package-initialize) - -(require 'org) -(require 'org-transclusion) -(require 'ox) -(require 'ox-html) -(require 'htmlize) - -(setq org-transclusion-exclude-elements nil - org-html-head-include-default-style nil - org-html-head-include-scripts nil - org-html-postamble-format '(("en" "")) - org-html-postamble t - org-html-divs '((preamble "header" "header") - (content "article" "content") - (postamble "footer" "postamble")) - org-html-doctype "html5" - org-html-htmlize-output-type 'css) - -(org-transclusion-add-all) -(org-html-export-to-html) diff --git a/docs/res/publish-man.el b/docs/res/publish-man.el deleted file mode 100644 index 634b454..0000000 --- a/docs/res/publish-man.el +++ /dev/null @@ -1,12 +0,0 @@ -(require 'package) -(package-initialize) - -(require 'org) -(require 'org-transclusion) -(require 'ox) -(require 'ox-man) - -(setq org-transclusion-exclude-elements nil) - -(org-transclusion-add-all) -(org-man-export-to-man) diff --git a/docs/res/publish-manual.el b/docs/res/publish-manual.el deleted file mode 100644 index df5db6b..0000000 --- a/docs/res/publish-manual.el +++ /dev/null @@ -1,12 +0,0 @@ -(require 'package) -(package-initialize) - -(require 'org) -(require 'org-transclusion) -(require 'ox) -(require 'ox-texinfo) - -(setq org-transclusion-exclude-elements nil) - -(org-transclusion-add-all) -(org-texinfo-export-to-texinfo) diff --git a/docs/res/publish.el b/docs/res/publish.el new file mode 100644 index 0000000..c083eb0 --- /dev/null +++ b/docs/res/publish.el @@ -0,0 +1,23 @@ +(require 'package) +(package-initialize) + +(require 'org) +(require 'org-transclusion) +(require 'ox) +(require 'ox-html) +(require 'htmlize) +(require 'ox-texinfo) +(require 'ox-man) + +(setq org-transclusion-exclude-elements nil + org-html-head-include-default-style nil + org-html-head-include-scripts nil + org-html-postamble-format '(("en" "")) + org-html-postamble t + org-html-divs '((preamble "header" "header") + (content "article" "content") + (postamble "footer" "postamble")) + org-html-doctype "html5" + org-html-htmlize-output-type 'css) + +(org-transclusion-add-all) -- cgit