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

Wed, 16 Jan 2002 10:33:08 -0800 

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]
-php_manual_en.xml: manual.xml
+@[email protected]: manual.xml
        cp manual.xml $@
 
 @[email protected]: @[email protected] $(HTML_DEPS)

Reply via email to