New package. Submitted by Steingrim Dovland. Fixes #12162

1 files changed, 27 insertions, 0 deletions

diff --git a/app-doc/php-docs/php-docs-4.2.3.ebuild b/app-doc/php-docs/php-docs-4.2.3.ebuild
new file mode 100644
index 000000000000..b5a585aae1c2
--- /dev/null
+++ b/app-doc/php-docs/php-docs-4.2.3.ebuild
@@ -0,0 +1,27 @@
+# Copyright 1999-2002 Gentoo Technologies, Inc.
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/app-doc/php-docs/php-docs-4.2.3.ebuild,v 1.1 2002/12/15 01:06:03 rphillips Exp $
+
+S=${WORKDIR}/${P}
+DESCRIPTION="HTML documentation for PHP"
+SRC_URI="http://www.php.net/distributions/manual/php_manual_en.tar.bz2"
+HOMEPAGE="http://www.php.net/download-docs.php"
+DEPEND=""
+SLOT="0"
+LICENSE="GPL-2"
+KEYWORDS="x86 ppc sparc alpha"
+IUSE=""
+
+src_unpack() {
+    mkdir ${S}
+    cd ${S}
+    unpack ${A}
+}
+
+src_install() {
+    docinto html
+    # to prevent files from being gzipped they are copied with cp
+    # instead of dodoc
+	cd ${S}
+    cp * ${D}/usr/share/doc/${P}/html
+}