aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorArnold D. Robbins <arnold@skeeve.com>2019-10-24 09:44:00 -0400
committerArnold D. Robbins <arnold@skeeve.com>2019-10-24 09:44:00 -0400
commit8b92a4abcb83d7d463ff9e7b8356808e73a6156b (patch)
tree5de6e88b48ae18450629a615372bd11150b12272
parent961eec1fb550c90fa9ae09eebc42dd072f1b7718 (diff)
downloadone-true-awk-8b92a4abcb83d7d463ff9e7b8356808e73a6156b.tar.gz
Add 'distclean' target to makefile.
-rw-r--r--makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/makefile b/makefile
index 1843444..735436c 100644
--- a/makefile
+++ b/makefile
@@ -116,3 +116,6 @@ cleaner: testclean
testclean:
cd testdir; rm -fr arnold-fixes beebe echo foo* \
glop glop1 glop2 lilly.diff tempbig tempsmall time
+
+# For the habits of GNU maintainers:
+distclean: clean