r1820: further debian improvements

[uffi.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index 6b377ebba8c3068320025ecbcb9fab306a472c5e..2fbebbf0c84e8ac03febf220d448ad486b877265 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.18 2002/04/28 06:03:13 kevin Exp $
+#  CVS Id:   $Id: Makefile,v 1.19 2002/04/28 09:01:00 kevin Exp $
 #
 # This file, part of UFFI, is Copyright (c) 2002 by Kevin M. Rosenberg
 #
@@ -47,10 +47,10 @@ TMPFILES=${DOCFILE_BASE}.aux ${DOCFILE_BASE}.out ${DOCFILE_BASE}.log
 DOCFILES=$(shell echo *.sgml)
 
 .PHONY: all
-all: html pdf ps dvi
+all: html pdf ps
 
 .PHONY: dist
-dist: html pdf
+dist: html pdf ps
 
 .PHONY: doc
 doc: html ps
@@ -101,12 +101,12 @@ ${PSFILE}: ${DVIFILE}
 
 .PHONY: clean
 clean: 
-       @rm -rf html
-       @rm -f *~ *.bak *.orig "#*"
+       @rm -f *~ *.bak *.orig \#*\# .\#*
        @rm -f ${TMPFILES}
 
 .PHONY: distclean
 distclean: clean
+       @rm -rf html
        @rm -f ${PSFILE} ${PDFFILE} ${DVIFILE} ${TEXFILE}