diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-02-19 16:19:00 +0100 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-02-19 16:19:00 +0100 |
| commit | 06809e86a9805f237aa8ce2c6f1a676db2130e97 (patch) | |
| tree | d306e69127a99f516c760047aa5d4696eab294ba /site/posts/meta/Contents.org | |
| parent | Initiate a literate programming approach for the Makefile rules (diff) | |
Various improvement in the content generation process
Diffstat (limited to 'site/posts/meta/Contents.org')
| -rw-r--r-- | site/posts/meta/Contents.org | 28 |
1 files changed, 16 insertions, 12 deletions
diff --git a/site/posts/meta/Contents.org b/site/posts/meta/Contents.org index c2e67d7..cc580d8 100644 --- a/site/posts/meta/Contents.org +++ b/site/posts/meta/Contents.org @@ -8,8 +8,9 @@ ** Generation Process -#+BEGIN_SRC emacs-lisp :tangle ../../../scripts/configure-org.el +#+BEGIN_SRC emacs-lisp :tangle ../../../scripts/export-org.el (setq org-html-htmlize-output-type nil) +(setq org-export-with-toc nil) (org-html-export-to-html nil nil nil t) #+END_SRC @@ -19,28 +20,31 @@ INPUTS += $(ORG_POSTS:.org=.html) %.html: %.org @echo "export $*.org" - @emacs $< \ - --batch \ - --load=$(shell pwd)/scripts/configure-org.el \ - --kill + @emacs $< --batch --kill \ + --load="${ROOT}/scripts/export-org.el" \ #+END_SRC * Using Coq files +** Author Guidelines + +** Generation Process + #+BEGIN_SRC makefile :tangle ../../../coq.mk COQ_POSTS := $(shell find site/ -name "*.v") INPUTS += $(COQ_POSTS:.v=.html) -COQCARGS := -async-proofs-cache force -w -custom-entry-overriden +COQCARGS := -async-proofs-cache force \ + -w -custom-entry-overriden +COQDOCARGS := --no-index --charset utf8 --short --body-only \ + --coqlib "https://coq.inria.fr/distrib/current/stdlib/" %.html: %.v @echo "export $*.v" - @coqc ${COQCARGS} $*.v - @coqdoc --no-index --charset utf8 --short --body-only -d site/posts/ \ - --coqlib "https://coq.inria.fr/distrib/current/stdlib/" \ - $*.v - @sed -i -e 's/href="$(shell basename $*.html)\#/href="\#/g' $*.html - @rm -f site/posts/coqdoc.css + @coqc ${COQCARGS} $< + @coqdoc ${COQDOCARGS} -d $(shell dirname $<) $< + @sed -i -e 's/href="$(shell basename $@)\#/href="\#/g' $@ + @rm -f $(shell dirname $<)/coqdoc.css #+END_SRC # Local Variables: |