git://git.onelab.eu
/
myplc.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
c0b1cef
)
- also make PHP page by default
author
Mark Huang
<mlhuang@cs.princeton.edu>
Fri, 28 Apr 2006 20:16:04 +0000
(20:16 +0000)
committer
Mark Huang
<mlhuang@cs.princeton.edu>
Fri, 28 Apr 2006 20:16:04 +0000
(20:16 +0000)
doc/Makefile
patch
|
blob
|
history
diff --git
a/doc/Makefile
b/doc/Makefile
index
0b30792
..
14a62ed
100644
(file)
--- a/
doc/Makefile
+++ b/
doc/Makefile
@@
-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