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

[Hartmut Holzgraefe]

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: @MANUAL@.xml
-php_manual_en.xml: manual.xml
+@MANUAL@.xml: manual.xml
        cp manual.xml $@
 
 @MANUAL@.html: @MANUAL@.xml $(HTML_DEPS)