From d50ee0c558512b908372af0186b15407c452dbd1 Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Sat, 22 Feb 2020 16:15:08 +0100
Subject: Use `tangle-org.el' during bootstrap

---
 site/posts/meta/Contents/Coq.org | 42 ++++++++++++++++++++++++++++++++++++++++
 1 file changed, 42 insertions(+)
 create mode 100644 site/posts/meta/Contents/Coq.org

(limited to 'site/posts/meta/Contents/Coq.org')

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:
-- 
cgit v1.2.3