[PHP-DOC] cvs: phpdoc / Makefile.in From: Hartmut Holzgraefe (hartmut <email protected>)
Date: 01/16/02

hholzgra Wed Jan 16 13:36:07 2002 EDT

  Modified files:
    /phpdoc Makefile.in
  Log:
  missed this one on the last commit
  
  
Index: phpdoc/Makefile.in
diff -u phpdoc/Makefile.in:1.101 phpdoc/Makefile.in:1.102
--- phpdoc/Makefile.in:1.101 Wed Jan 16 13:30:43 2002
+++ phpdoc/Makefile.in Wed Jan 16 13:36:07 2002
@@ -17,7 +17,7 @@
 #
 
 #
-# $Id: Makefile.in,v 1.101 2002/01/16 18:30:43 hholzgra Exp $
+# $Id: Makefile.in,v 1.102 2002/01/16 18:36:07 hholzgra Exp $
 #
 
 all: html
@@ -134,7 +134,7 @@
 
 # intermediate file for name change
 .INTERMEDIATE:  <email protected> <email protected>
-php_manual_en.xml: manual.xml
+ <email protected> <email protected>: manual.xml
         cp manual.xml $@
 
  <email protected> <email protected>:  <email protected> <email protected> $(HTML_DEPS)