Add 'distclean' target to makefile.

2019-10-24 09:44:00 -04:00 · 2019-10-24 09:44:00 -04:00 · 8b92a4abcb
commit 8b92a4abcb
parent 961eec1fb5
1 changed files with 3 additions and 0 deletions
--- a/3
+++ b/3
@ -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