diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-08-27 15:05:29 +0200 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-08-27 15:05:29 +0200 |
commit | b065628fb1ffa6edf8f35a690931c2d56d26ab3e (patch) | |
tree | f5c75029bc4b61de228e809889dc58f5907e5fb6 /Makefile | |
parent | Make the two articles about Ltac refer to each other (diff) |
Simplify the theme
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 49 |
1 files changed, 0 insertions, 49 deletions
diff --git a/Makefile b/Makefile deleted file mode 100644 index 2682086..0000000 --- a/Makefile +++ /dev/null @@ -1,49 +0,0 @@ -ROOT := $(shell pwd) -CLEODIR := site/cleopatra - -ARTIFACTS := build.log -CONFIGURE := - -EMACSBIN := emacs -EMACS := ROOT="${ROOT}" ${EMACSBIN} -TANGLE := --batch \ - --load="${ROOT}/scripts/tangle-org.el" \ - 2>> build.log - -define emacs-tangle = -echo " tangle $<" -${EMACS} $< ${TANGLE} -endef - -default : postbuild ignore - -init : - @rm -f build.log - -prebuild : init - -build : prebuild - -postbuild : build - -.PHONY : init prebuild build postbuild ignore - -include bootstrap.mk - -prebuild : bootstrap-prebuild -build : bootstrap-build -postbuild : bootstrap-postbuild - -bootstrap-prebuild : bootstrap.mk scripts/update-gitignore.sh -bootstrap-build : bootstrap-prebuild -bootstrap-postbuild : bootstrap-build - -bootstrap.mk scripts/update-gitignore.sh &:\ - ${CLEODIR}/Bootstrap.org - @$(emacs-tangle) - -CONFIGURE += bootstrap.mk scripts/update-gitignore.sh - -.PHONY : bootstrap-prebuild \ - bootstrap-build \ - bootstrap-postbuild |