diff options
author | Thomas Letan <lthms@soap.coffee> | 2022-08-13 17:05:37 +0200 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2022-08-13 17:11:58 +0200 |
commit | de83a3ea99275de9887618f1ea2f9d468a0d4e6a (patch) | |
tree | 6a8066ac9414b09b353d810793f7d041c4242172 /org.mk | |
parent | Some 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.mk | 21 |
1 files changed, 21 insertions, 0 deletions
@@ -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" |