diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-02-22 16:15:08 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-02-22 16:15:08 +0100 |
commit | d50ee0c558512b908372af0186b15407c452dbd1 (patch) | |
tree | 20a349c722a311e59095123fbb49fcff08bc84f3 /site/posts/meta/Contents/Coq.org | |
parent | Make ~make~ to call itself with the `build` rule when none is given (diff) |
Use `tangle-org.el' during bootstrap
Diffstat (limited to 'site/posts/meta/Contents/Coq.org')
-rw-r--r-- | site/posts/meta/Contents/Coq.org | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/site/posts/meta/Contents/Coq.org b/site/posts/meta/Contents/Coq.org new file mode 100644 index 0000000..50aca02 --- /dev/null +++ b/site/posts/meta/Contents/Coq.org @@ -0,0 +1,42 @@ +* Author Guidelines + +* Under the Hood + +#+BEGIN_SRC makefile :tangle coq.mk +COQ_POSTS := $(shell find site/ -name "*.v") +CONTENTS += $(COQ_POSTS:.v=.html) +GENSASS += site/style/coq.sass + +COQLIB := "https://coq.inria.fr/distrib/current/stdlib/" +COQCARG := -async-proofs-cache force \ + -w -custom-entry-overriden +COQDOCARG := --no-index --charset utf8 --short \ + --body-only --coqlib "${COQLIB}" + +%.html : %.v + @echo " export $*.v" + @coqc ${COQCARG} $< + @coqdoc ${COQDOCARG} -d $(shell dirname $<) $< + @sed -i -e 's/href="$(shell basename $@)\#/href="\#/g' $@ + @rm -f $(shell dirname $<)/coqdoc.css +#+END_SRC + +#+BEGIN_SRC sass :tangle site/style/coq.sass +div.code + white-space: nowrap + overflow-x: visible + +.code a[href] + text-decoration: none + + .fa-external-link + display: none + +.paragraph + margin-top: 1em + margin-bottom: 1em +#+END_SRC + +# Local Variables: +# org-src-preserve-indentation: t +# End: |