From 6bff9e080fda8c35a978cff68102b849b3c8671d Mon Sep 17 00:00:00 2001 From: Mark Huang Date: Fri, 28 Apr 2006 20:16:04 +0000 Subject: [PATCH] - also make PHP page by default --- doc/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/Makefile b/doc/Makefile index 0b30792..14a62ed 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -4,13 +4,13 @@ # Mark Huang # 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 -- 2.45.2