blob: acfd432744e8842c0271bd713d4cd088a7826241 (
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
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
|
* Author Guidelines
* Under the Hood
#+BEGIN_SRC emacs-lisp :tangle scripts/packages.el
(use-package lua-mode :ensure t :defer t)
(use-package rust-mode :ensure t :defer t)
(use-package sass-mode :ensure t :defer t)
(use-package haskell-mode :ensure t :defer t)
(use-package toml-mode :ensure t :defer t)
(use-package json-mode :ensure t :defer t)
(use-package proof-general :ensure t :defer t)
(use-package tuareg :ensure t :defer t)
#+END_SRC
#+BEGIN_SRC emacs-lisp :tangle scripts/export-org.el
(cleopatra:configure)
(setq org-html-doctype "html5")
(setq org-html-html5-fancy t)
(org-babel-do-load-languages
'org-babel-load-languages
'((shell . t)
(dot . t)))
(setq org-html-htmlize-output-type nil)
(setq org-export-with-toc nil)
(add-to-list 'org-entities-user
'("im" "\\(" nil "<span class=\"imath\">" "" "" ""))
(add-to-list 'org-entities-user
'("mi" "\\)" nil "</span>" "" "" ""))
(org-html-export-to-html nil nil nil t)
#+END_SRC
#+BEGIN_SRC makefile :tangle org.mk
EMACS := cleopatra-emacs
ORG_POSTS := $(shell find site/ -name "*.org")
ORG_HTML := $(ORG_POSTS:.org=.html)
org-prebuild : .emacs
org-build : ${ORG_HTML}
theme-build : site/style/org.sass
soupault-build : org-build
org-build : literate-programming-build
ARTIFACTS += ${ORG_HTML}
CONFIGURE += .emacs
EXPORT := --batch \
--load="${ROOT}/scripts/packages.el" \
--load="${ROOT}/scripts/export-org.el" \
2>> build.log
INIT := --batch --load="${ROOT}/scripts/packages.el" \
2>> build.log
.emacs : scripts/packages.el
@cleopatra echo Initiating "Emacs configuration"
@${EMACS} ${INIT}
@touch .emacs
%.html : %.org scripts/packages.el scripts/export-org.el \
.emacs org.mk
@cleopatra echo Exporting "$*.org"
@${EMACS} $< ${EXPORT}
#+END_SRC
#+BEGIN_SRC sass :tangle site/style/org.sass
#text-footnotes
max-width : 35rem
.footpara
display: inline
margin-left: .2em
.section-number-2:after,
.section-number-3:after
content: ". "
.section-number-4,
.section-number-5,
.section-number-6
display: none
dl
dd p
margin-top: 0
.footnotes
font-size : 1rem
.org-literate-programming
.org-src-tangled-to:before
content: "\f054"
font : normal normal normal 11px/1 ForkAwesome
.org-src-tangled-to,
padding-left : 2rem
.org-src-tangled-to,
.org-src-name
font-family : 'Fira Code', monospace
font-size : 70%
font-weight: bold
color : #444
#+END_SRC
|