Re: download formats
| From: | Friedhelm Betz | Date: | Sun, 20 Apr 2003 14:31:41 +0000 |
| Subject: | Re: download formats | ||
| References: | 1 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969352736@lists.php.net to get a copy of this message | ||
On Sunday 20 April 2003 15:59, James Cox wrote:
> assign it to me and i will fix it...
Just done, thanks.
BTW.; The following patch should be enough ;-)
I can committ it, if you agree.
Friedhelm
RCS file: /repository/phpdoc/Makefile.in,v
retrieving revision 1.128
diff -u -r1.128 Makefile.in
--- Makefile.in 19 Apr 2003 17:40:57 -0000 1.128
+++ Makefile.in 20 Apr 2003 14:26:35 -0000
@@ -54,7 +54,7 @@
PHPWEB_DEPS=$(PHPWEB_STYLESHEET) dsssl/html-common.dsl dsssl/common.dsl
zendapiphp
KDEVELOP_TOC_DEPS=dsssl/kdevelop_toc.dsl Makefile
-DIST_FILES=@MANUAL@.tar.bz2 @MANUAL@.html.bz2 @MANUAL@.doc.pdb
+DIST_FILES=@MANUAL@.tar.gz @MANUAL@.html.gz @MANUAL@.tar.bz2
@MANUAL@.html.bz2 @MANUAL@.doc.pdb
MIRROR_TARGETS=php/index.php html/index.html $(DIST_FILES)