X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=doc%2FMakefile;h=6a9823e2cc3655501c3ebdfc20beeb07739faa06;hb=391310e122de0536c08f62bd46acd3b3b7b13964;hp=2e347bb68d64b9a219d5fa654e77c810e38c9aeb;hpb=5beafd1fab624c36f81972588da3463a416a8a00;p=myplc.git

diff --git a/doc/Makefile b/doc/Makefile
index 2e347bb..6a9823e 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -4,13 +4,19 @@
 # Mark Huang <mlhuang@cs.princeton.edu>
 # Copyright (C) 2006 The Trustees of Princeton University
 #
-# $Id: Makefile,v 1.5 2006/07/18 22:41:44 mlhuang Exp $
+# $Id: Makefile 704 2007-07-20 14:15:43Z thierry $
 #
 
 vpath GenDoc.xsl ../../plc_www/doc
 vpath %_config.xml ..
 
-all: myplc.pdf myplc.php
+# dont redo php by default, this requires plc_www (see above) 
+# that we build separately (has no doc/ subdir anyway)
+# note that the build host (myplc-devel) needs ghostscript
+# that we added only on 20 july 2007
+all: myplc.pdf myplc.html
+
+static: pyplc.php
 
 .PHONY: all