 |
 |
 |
 |
|
|
Date: 08/06/00
- Next message: Rasmus Lerdorf: "[PHP-DOC] cvs: phpdoc / global.ent"
- Previous message: Rasmus Lerdorf: "Re: [PHP-DOC] www.php.net manual upgrade"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
rasmus Sun Aug 6 10:04:53 2000 EDT
Modified files:
/phpdoc Makefile.in
Log:
It is just the PHP Manual
Index: phpdoc/Makefile.in
diff -u phpdoc/Makefile.in:1.40 phpdoc/Makefile.in:1.41
--- phpdoc/Makefile.in:1.40 Wed Jul 26 00:33:00 2000
+++ phpdoc/Makefile.in Sun Aug 6 10:04:53 2000
@@ -26,7 +26,7 @@
# +----------------------------------------------------------------------+
#
-# $Id: Makefile.in,v 1.40 2000/07/26 07:33:00 jmcastagnetto Exp $
+# $Id: Makefile.in,v 1.41 2000/08/06 17:04:53 rasmus Exp $
#
VPATH= <email protected>@
@@ -239,7 +239,7 @@
lynx -nolist -dump file:`pwd`/bigmanual.html > manual.txt
manual.prc: manual.txt makedoc
- ./makedoc -b manual.txt manual.prc 'PHP3 Manual'
+ ./makedoc -b manual.txt manual.prc 'PHP Manual'
manual.zip: $(srcdir)/html/manual.html
-rm -f $@ && (cd html; zip -9 -q ../$@ *.html)
- Next message: Rasmus Lerdorf: "[PHP-DOC] cvs: phpdoc / global.ent"
- Previous message: Rasmus Lerdorf: "Re: [PHP-DOC] www.php.net manual upgrade"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]