r1519: *** empty log message ***

[uffi.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index ee159bf1056f2b9bfa04f8e402c385252af3897a..46b6578d0f04a99bd9d4f9f08c1937dcf4bd5f84 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -5,7 +5,7 @@
 #  Programer:    Kevin M. Rosenberg
 #  Date Started: Mar 2002
 #
-#  CVS Id:   $Id: Makefile,v 1.1 2002/03/09 19:55:33 kevin Exp $
+#  CVS Id:   $Id: Makefile,v 1.2 2002/03/09 20:32:05 kevin Exp $
 #
 #  Copyright (c) 2002 by Kevin M. Rosenberg
 #
@@ -62,7 +62,7 @@ TMPFILES=${DOCFILE_BASE}.aux ${DOCFILE_BASE}.out ${DOCFILE_BASE}.log
 
 dist-doc: html pdf
        @rm -f ${DVIFILE} ${PSFILE} ${TEXFILE}
-       @rm *~
+       @rm -f *~
 
 all: html pdf ps dvi