summaryrefslogtreecommitdiff
path: root/texinfo
diff options
context:
space:
mode:
authorMatt Simmons <simmonmt@acm.org>1997-12-01 05:19:50 +0000
committerMatt Simmons <simmonmt@acm.org>1997-12-01 05:19:50 +0000
commit25175b882bb1fd43e15a234b3db8ead6cefa90f3 (patch)
tree15b299c02a4909c630b28d3234dfe44ff371fba2 /texinfo
parent4a96f588a7065943aa8512e4938a325286369e22 (diff)
We now distribute *.info*, so removed its deletion from clean target.
Created reallyclean target to get rid of *.info*
Diffstat (limited to 'texinfo')
-rw-r--r--texinfo/Makefile5
1 files changed, 3 insertions, 2 deletions
diff --git a/texinfo/Makefile b/texinfo/Makefile
index d3832b4..28b9efa 100644
--- a/texinfo/Makefile
+++ b/texinfo/Makefile
@@ -11,7 +11,8 @@ bbdb.dvi: bbdb.texinfo
texi2dvi bbdb.texinfo
clean:
- $(RM) -f bbdb.info* *.aux *.cp *.cps *.dvi *.fn *.fns *.ky *.log *.pg \
+ $(RM) -f *.aux *.cp *.cps *.dvi *.fn *.fns *.ky *.log *.pg \
*.toc *.tp *.vr *.vrs
-
+reallyclean: clean
+ $(RM) -f bbdb.info*