blob: 937467e27eb2381529fec8a941383dcc79e05d1c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
|
* Author Guidelines
* Under the Hood
#+BEGIN_SRC makefile :tangle coq.mk
COQ_POSTS := $(shell find site/ -name "*.v")
COQ_HTML := $(COQ_POSTS:.v=.html)
coq-build : ${COQ_HTML}
theme-build : site/style/coq.sass
soupault-build : coq-build
ARTIFACTS += *.vo *.vok *.vos .*.aux *.glob .lia.cache
ARTIFACTS += ${COQ_HTML}
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 $<) $<
@rm -f $(shell dirname $<)/coqdoc.css
#+END_SRC
#+BEGIN_SRC sass :tangle site/style/coq.sass
div.code
white-space: nowrap
.doc
@include padding-centered
margin-top : 1em
margin-bottom : 1em
.code
@include padding-centered
@include code-block
.inlinecode
@include code-font
h1, h2, h3, h4, h5, h6
.inlinecode
font-size: 100%
.code a[href]
text-decoration: none
.url-mark
display: none
.paragraph
margin-top: 1em
margin-bottom: 1em
#+END_SRC
# Local Variables:
# org-src-preserve-indentation: t
# End:
|