diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-02-23 15:02:58 +0100 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-02-23 15:02:58 +0100 |
| commit | 404d05208192f83523049dabe03126ad064c3395 (patch) | |
| tree | 9828cadc8c9a3224d578ea35de63343336e85474 /site/cleopatra/Contents/Coq.org | |
| parent | Fix several typos in the posts index (diff) | |
Reworking cleopatra presentation
Diffstat (limited to 'site/cleopatra/Contents/Coq.org')
| -rw-r--r-- | site/cleopatra/Contents/Coq.org | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/site/cleopatra/Contents/Coq.org b/site/cleopatra/Contents/Coq.org new file mode 100644 index 0000000..6965927 --- /dev/null +++ b/site/cleopatra/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 coq.mk + @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: |