[PHP-DOC] cvs: phpdoc / Makefile.in

[Hartmut Holzgraefe]

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) $<