summaryrefslogtreecommitdiffstats
path: root/org.mk
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2022-08-13 22:16:50 +0200
committerThomas Letan <lthms@soap.coffee>2022-08-13 22:16:50 +0200
commitb84eb628be2e0489bab15e573518058053793e0d (patch)
tree69489fbb3343f2bac2e5659f1f639236ecf4c5b5 /org.mk
parentSome tweaks to the toolchain (diff)
Further tweaks in the toolchain
Diffstat (limited to 'org.mk')
-rw-r--r--org.mk2
1 files changed, 1 insertions, 1 deletions
diff --git a/org.mk b/org.mk
index c6c1bc3..1d42db7 100644
--- a/org.mk
+++ b/org.mk
@@ -7,7 +7,7 @@ soupault-build : org-build
ARTIFACTS += ${ORG_OUT} .emacs.d/cache
-site/index.org : site/haskell.org site/miscellaneous.org site/meta.org site/coq.org
+site/index.html : site/haskell.org site/miscellaneous.org site/meta.org site/coq.org
%.html : %.org org.mk
@scripts/pretty-echo.sh Exporting "$*.org"