Add "clean" rule.

diff --git a/v7/doc/user-manual/Makefile b/v7/doc/user-manual/Makefile
index 263d2a294da503af8f4df40bb5469d9265d69837..cdff79b4e233fc938a7e709e74e334ffa285afdf 100644 (file)
--- a/v7/doc/user-manual/Makefile
+++ b/v7/doc/user-manual/Makefile
@@ -1,5 +1,5 @@
 
-# $Id: Makefile,v 1.3 2000/07/10 22:06:01 cph Exp $
+# $Id: Makefile,v 1.4 2000/07/10 22:07:31 cph Exp $
 #
 # Copyright (c) 2000 Massachusetts Institute of Technology
 #
@@ -41,7 +41,7 @@ AUX_SUFFIXES = aux log toc
 INDEX_SUFFIXES = cp fn ky pg tp vr
 
 clean:
-       rm -f user.ps user.dvi user.pdf user*.info
+       rm -f user.ps user.dvi user.pdf user.info*
        rm -f $(addprefix user.,$(AUX_SUFFIXES))
        rm -f $(addprefix user.,$(INDEX_SUFFIXES))
        rm -f $(addsuffix s,$(addprefix user.,$(INDEX_SUFFIXES)))