summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorLouie S <louie@example.com>2023-09-15 10:11:41 -0400
committerLouie S <louie@example.com>2023-09-15 10:11:41 -0400
commitd44e7f620f4970ab72bd7979cd8751857f683915 (patch)
tree72518b296a6877ce063430779687ee9896640974 /Makefile
parentd4bd46635fe9a74bf35812ee5b635af177e74cfc (diff)
Improve design, fix guide names for info-reader targetHEADmaster
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 05363ad..1393e77 100644
--- a/Makefile
+++ b/Makefile
@@ -11,3 +11,7 @@ info-reader:
clean:
$(MAKE) clean -f texinfo-Makefile
$(MAKE) clean -f info-reader-Makefile
+
+.PHONY: dist-clean
+dist-clean: clean
+ rm -rf tmp