Index: trunk/doc/design/Makefile
===================================================================
--- trunk/doc/design/Makefile	(revision 415)
+++ trunk/doc/design/Makefile	(revision 504)
@@ -1,3 +1,3 @@
-# $Id: Makefile,v 1.1 2004-04-12 21:08:57 price Exp $
+# $Id: Makefile,v 1.2 2004-04-22 21:53:40 price Exp $
 
 all : design.pdf specs.pdf
@@ -8,6 +8,5 @@
 		echo $(PDFLATEX) $*.tex; \
 		env TEXINPUTS=.:LaTeX:: $(PDFLATEX) $*.tex; \
-	fi; \
-	env TEXINPUTS=.:LaTeX:: $(PDFLATEX) $*.tex
+	fi && env TEXINPUTS=.:LaTeX:: $(PDFLATEX) $*.tex || $(RM) $*.pdf
 #
 PDFLATEX = pdflatex