From e6cd97fc89131f10787e39b7c68368a67b6709af Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Wed, 26 Feb 2020 22:10:54 +0100
Subject: Display source blocks names and tangle filenames in HTML output

---
 Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 03be338..8e091ee 100644
--- a/Makefile
+++ b/Makefile
@@ -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
-- 
cgit v1.2.3