diff options
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: |