r1816: debian updates

[uffi.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index 8f18094b85a96f2f06e9f66ea3e3b6a5bdd90968..6b377ebba8c3068320025ecbcb9fab306a472c5e 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.17 2002/04/28 04:08:22 kevin Exp $
+#  CVS Id:   $Id: Makefile,v 1.18 2002/04/28 06:03:13 kevin Exp $
 #
 # This file, part of UFFI, is Copyright (c) 2002 by Kevin M. Rosenberg
 #
@@ -103,11 +103,11 @@ ${PSFILE}: ${DVIFILE}
 clean: 
        @rm -rf html
        @rm -f *~ *.bak *.orig "#*"
-       @rm -f ${PSFILE} ${PDFFILE} ${DVIFILE} ${TEXFILE}
        @rm -f ${TMPFILES}
 
 .PHONY: distclean
 distclean: clean
+       @rm -f ${PSFILE} ${PDFFILE} ${DVIFILE} ${TEXFILE}