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

[Jeroen van Wolffelaar]

jeroen          Wed May 16 14:28:22 2001 EDT

  Modified files:              
    /phpdoc     Makefile.in 
  Log:
  Added make bightml alias
  
  
Index: phpdoc/Makefile.in
diff -u phpdoc/Makefile.in:1.59 phpdoc/Makefile.in:1.60
--- phpdoc/Makefile.in:1.59     Wed Mar  7 03:54:08 2001
+++ phpdoc/Makefile.in  Wed May 16 14:28:21 2001
@@ -17,7 +17,7 @@
 #
 
 #
-# $Id: Makefile.in,v 1.59 2001/03/07 11:54:08 jmoore Exp $
+# $Id: Makefile.in,v 1.60 2001/05/16 21:28:21 jeroen Exp $
 #
 
 VPATH=@srcdir@
@@ -68,6 +68,7 @@
        touch .manual.xml
 
 html: html/index.html
+bightml: bigmanual.html
 phpweb: php/index.php
 rtf: manual.rtf
 dvi: manual.dvi