r1927: *** empty log message ***

[uffi.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index 3509c73c0b27b1d04843e4e11c142459da63415f..c87c5993718402a6e5837d2ae65b108e83171c5f 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.24 2002/05/01 01:00:51 kevin Exp $
+#  CVS Id:   $Id: Makefile,v 1.25 2002/05/05 01:47:27 kevin Exp $
 #
 # This file, part of UFFI, is Copyright (c) 2002 by Kevin M. Rosenberg
 #
@@ -47,13 +47,13 @@ TMPFILES=${DOCFILE_BASE}.aux ${DOCFILE_BASE}.out ${DOCFILE_BASE}.log
 DOCFILES=$(shell echo *.sgml)
 
 .PHONY: all
-all: html pdf ps
+all: html pdf 
 
 .PHONY: dist
-dist: html pdf ps
+dist: html pdf
 
 .PHONY: doc
-doc: html ps
+doc: html pdf
 
 CHECK=nsgmls -s -C ${CATALOG} || exit 1