r1808: *** empty log message ***

[uffi.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index f49d1f0b304c7f789ceeb6f9f1afc4cc409b9799..18caae1ac1632f601b70f20ed4cf52f52645d2a8 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.13 2002/04/23 21:30:27 kevin Exp $
+#  CVS Id:   $Id: Makefile,v 1.15 2002/04/28 03:05:52 kevin Exp $
 #
 # This file, part of UFFI, is Copyright (c) 2002 by Kevin M. Rosenberg
 #
@@ -50,7 +50,7 @@ DOCFILES=$(shell echo *.sgml)
 
 all: html pdf ps dvi
 
-dist: html pdf
+dist: html pdf ps
 
 CHECK=nsgmls -s -C ${CATALOG} || exit 1
 
@@ -90,12 +90,13 @@ ps: ${PSFILE}
 ${PSFILE}: ${DVIFILE}
        dvips -o ${PSFILE} ${DVIFILE}
 
-clean:
+clean: 
        @rm -rf html
+       @rm -f *~ *.bak *.orig "#*"
        @rm -f ${PSFILE} ${PDFFILE} ${DVIFILE} ${TEXFILE}
        @rm -f ${TMPFILES}
 
-realclean: clean
-       @rm -f *~
+distclean: clean
+