diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-02-26 22:10:54 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-02-26 22:14:37 +0100 |
commit | e6cd97fc89131f10787e39b7c68368a67b6709af (patch) | |
tree | a975a48816a128b765b85d71063caff60f51189a /Makefile | |
parent | Improving the end of the Bootstrapping cleopatra document (diff) |
Display source blocks names and tangle filenames in HTML output
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -43,4 +43,6 @@ bootstrap.mk scripts/update-gitignore.sh &:\ CONFIGURE += bootstrap.mk scripts/update-gitignore.sh -.PHONY : bootstrap-prebuild bootstrap-build bootstrap-postbuild +.PHONY : bootstrap-prebuild \ + bootstrap-build \ + bootstrap-postbuild |