From 0b86d1832fa6abcbb76051b127e36218c1edfe08 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Fri, 11 Aug 2006 12:39:20 +0000
Subject: [PATCH] clean also cleans up php

---
 doc/Makefile | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/doc/Makefile b/doc/Makefile
index 8caff1d..2e347bb 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -4,7 +4,7 @@
 # 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,v 1.5 2006/07/18 22:41:44 mlhuang Exp $
 #
 
 vpath GenDoc.xsl ../../plc_www/doc
@@ -12,6 +12,8 @@ vpath %_config.xml ..
 
 all: myplc.pdf myplc.php
 
+.PHONY: all
+
 # Dependencies
 .myplc.xml.valid: architecture.eps architecture.png plc_variables.xml plc_devel_variables.xml
 
@@ -43,7 +45,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
 
-- 
2.43.0