* tentative merge of onelab myplc

[myplc.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index 8caff1d..6a9823e 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -4,13 +4,21 @@
 # Mark Huang <mlhuang@cs.princeton.edu>
 # Copyright (C) 2006 The Trustees of Princeton University
 #
-# $Id: Makefile,v 1.4 2006/04/28 20:16:04 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
 
 # Dependencies
 .myplc.xml.valid: architecture.eps architecture.png plc_variables.xml plc_devel_variables.xml
@@ -43,7 +51,7 @@ endef
 $(foreach format,$(FORMATS),$(eval $(call docbook2,$(format))))
 
 docclean:
-       rm -f $(patsubst %,*.%,$(FORMATS)) *.pdf .*.xml.valid variables.xml
+       rm -f $(patsubst %,*.%,$(FORMATS)) *.pdf *.php .*.xml.valid variables.xml 
 
 clean: docclean