diff --git a/PKGBUILD b/PKGBUILD index 99c6775..f9ab42c 100644 --- a/PKGBUILD +++ b/PKGBUILD @@ -3,8 +3,8 @@ # Maintainer: Guillaume ALAUX # Contributor: Jan de Groot -pkgname=('jre7-openjdk-headless' 'jre7-openjdk' 'jdk7-openjdk' 'openjdk7-src') - # ToDo -demo -doc packages, see Debian file lists http://packages.debian.org/source/wheezy/openjdk-7 +pkgname=('jre7-openjdk-headless' 'jre7-openjdk' 'jdk7-openjdk' 'openjdk7-src' 'openjdk7-doc') + # ToDo -demo packages, see Debian file lists http://packages.debian.org/source/wheezy/openjdk-7 pkgbase=java7-openjdk _java_ver=7 _updatever=u9 @@ -340,3 +340,11 @@ package_openjdk7-src() { install -D ${srcdir}/icedtea-${_icedtea_ver}/openjdk.build/j2sdk-image/src.zip \ ${pkgdir}/${_jvmdir}/src.zip } + +package_openjdk7-doc() { + pkgdesc="Free Java environment based on OpenJDK 7.0 with IcedTea7 replacing binary plugs - documentation" + install -m755 -d ${pkgdir}/usr/share/doc/openjdk7-doc + for i in ${srcdir}/icedtea-${_icedtea_ver}/openjdk.build/docs/*; do + cp -a $i ${pkgdir}/usr/share/doc/openjdk7-doc/ + done +}