[PHP-DOC] cvs: phpdoc / Makefile.in From: Jeroen van Wolffelaar (jeroen <email protected>)
Date: 05/16/01

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= <email protected>@
@@ -68,6 +68,7 @@
         touch .manual.xml
 
 html: html/index.html
+bightml: bigmanual.html
 phpweb: php/index.php
 rtf: manual.rtf
 dvi: manual.dvi