- also make PHP page by default
Mark Huang [Fri, 28 Apr 2006 20:16:04 +0000 (20:16 +0000)]
doc/Makefile

index 0b30792..14a62ed 100644 (file)
@@ -4,13 +4,13 @@
 # Mark Huang <mlhuang@cs.princeton.edu>
 # Copyright (C) 2006 The Trustees of Princeton University
 #
-# $Id: Makefile,v 1.2 2006/04/13 15:11:38 mlhuang Exp $
+# $Id: Makefile,v 1.3 2006/04/24 22:14:56 mlhuang Exp $
 #
 
 vpath GenDoc.xsl ../../plc_www/doc
 vpath plc_config.xml ..
 
-all: myplc.pdf
+all: myplc.pdf myplc.php
 
 # Dependencies
 .myplc.xml.valid: architecture.eps architecture.png variables.xml