cvs: phpdoc / Makefile.in
| From: | Hartmut Holzgraefe | Date: | Fri, 25 Jan 2002 09:53:37 +0000 |
| Subject: | cvs: phpdoc / Makefile.in | ||
| Groups: | php.doc | ||
| Request: | Send a blank email to phpdoc+get-969341615@lists.php.net to get a copy of this message | ||
hholzgra Fri Jan 25 04:53:37 2002 EDT
Modified files:
/phpdoc Makefile.in
Log:
performance tweaks
Index: phpdoc/Makefile.in
diff -u phpdoc/Makefile.in:1.105 phpdoc/Makefile.in:1.106
--- phpdoc/Makefile.in:1.105 Sun Jan 20 18:37:04 2002
+++ phpdoc/Makefile.in Fri Jan 25 04:53:36 2002
@@ -13,7 +13,7 @@
#
#
-# $Id: Makefile.in,v 1.105 2002/01/20 23:37:04 jimw Exp $
+# $Id: Makefile.in,v 1.106 2002/01/25 09:53:36 hholzgra Exp $
#
all: html
@@ -131,7 +131,8 @@
g++ -o scripts/makedoc $(scriptdir)/makedoc.cc
# intermediate file for name change
-.INTERMEDIATE: @MANUAL@.xml
+.SECONDARY: @MANUAL@.xml
+
@MANUAL@.xml: manual.xml
cp manual.xml $@
@@ -173,7 +174,7 @@
# File endings we are going to define general rules for:
.SUFFIXES: .html .xml .sgml .tex .dvi .ps .pdf .rtf .gz .bz2 .txt
-
+.PRECIOUS: %.html %.dvi
# General rules:
%.rtf: %.xml
$(JADE) $(CATALOG) -d $(PRINT_STYLESHEET) -t rtf $(XMLDCL) $<