summaryrefslogtreecommitdiffstats
path: root/org.mk
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2022-08-13 17:05:37 +0200
committerThomas Letan <lthms@soap.coffee>2022-08-13 17:11:58 +0200
commitde83a3ea99275de9887618f1ea2f9d468a0d4e6a (patch)
tree6a8066ac9414b09b353d810793f7d041c4242172 /org.mk
parentSome minor CSS tweak (diff)
Goodbye, cleopatra
As it is, it is just too slow. Plus, the literate program that was my toolchain is actually not documented, so it makes no sense. I’m sad, though.
Diffstat (limited to 'org.mk')
-rw-r--r--org.mk21
1 files changed, 21 insertions, 0 deletions
diff --git a/org.mk b/org.mk
new file mode 100644
index 0000000..2d993f1
--- /dev/null
+++ b/org.mk
@@ -0,0 +1,21 @@
+ORG_IN := $(shell find site/ -name "*.org")
+ORG_OUT := $(ORG_IN:.org=.html)
+
+org-prebuild : .emacs
+org-build : ${ORG_OUT}
+
+soupault-build : org-build
+
+ARTIFACTS += ${ORG_OUT} .emacs.d/cache
+CONFIGURE += .emacs
+
+.emacs : scripts/packages.el
+ @scripts/pretty-echo.sh echo Initiating "Emacs configuration"
+ @${EMACS}
+ @touch .emacs
+
+site/index.org : site/haskell.org site/miscellaneous.org site/meta.org site/coq.org
+
+%.html : %.org scripts/packages.el scripts/export-org.el .emacs org.mk
+ @scripts/pretty-echo.sh Exporting "$*.org"
+ @${EMACS} $< --load="$(shell pwd)/scripts/export-org.el"