diff options
author | Thomas Letan <lthms@soap.coffee> | 2022-08-13 22:16:50 +0200 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2022-08-13 22:16:50 +0200 |
commit | b84eb628be2e0489bab15e573518058053793e0d (patch) | |
tree | 69489fbb3343f2bac2e5659f1f639236ecf4c5b5 /org.mk | |
parent | Some tweaks to the toolchain (diff) |
Further tweaks in the toolchain
Diffstat (limited to 'org.mk')
-rw-r--r-- | org.mk | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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" |