Fix typo.

diff --git a/v7/doc/user-manual/html/Makefile b/v7/doc/user-manual/html/Makefile
index 8d4138a87be3165bb026841f58e49e74e77f8856..d4d585404a518c06bd74b76f23fc711e321eebe8 100644 (file)
--- a/v7/doc/user-manual/html/Makefile
+++ b/v7/doc/user-manual/html/Makefile
@@ -1,5 +1,5 @@
 
-# $Id: Makefile,v 1.2 2000/07/10 22:07:04 cph Exp $
+# $Id: Makefile,v 1.3 2000/07/10 22:16:27 cph Exp $
 #
 # Copyright (c) 2000 Massachusetts Institute of Technology
 #
@@ -20,7 +20,7 @@
 all:   user_toc.html
 
 user_toc.html: ../user.texinfo
-       -rm -rf *.html
+       rm -rf *.html
        texi2html -split_chapter ../user.texinfo
 
 clean: