mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-08-06 00:48:18 -07:00
dev-gap/gapdoc: new package, add 1.6.6
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
This commit is contained in:
1
dev-gap/gapdoc/Manifest
Normal file
1
dev-gap/gapdoc/Manifest
Normal file
@@ -0,0 +1 @@
|
||||
DIST gapdoc-1.6.6.tar.gz 254048 BLAKE2B d9c2e7371aaa97076855bea59e2b58e9458f0bf2f37ca403ec8f35dc9d19a7ad7f2f84cfe1a607aa15cc377a7b304bced4a39f9897e8c95794cde392e2cd2e58 SHA512 48283e54b4d540c35dec11ecca4129cabb824b521ac64b25694e754c4811542a7dc3313d5c7043eadd503db10228ab9838bb250541d1193696223117ccfda2c4
|
||||
49
dev-gap/gapdoc/gapdoc-1.6.6.ebuild
Normal file
49
dev-gap/gapdoc/gapdoc-1.6.6.ebuild
Normal file
@@ -0,0 +1,49 @@
|
||||
# Copyright 1999-2024 Gentoo Authors
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
|
||||
EAPI=8
|
||||
|
||||
inherit gap-pkg
|
||||
|
||||
MY_PN=GAPDoc
|
||||
MY_P="${MY_PN}-${PV}"
|
||||
DESCRIPTION="GAP documentation structure and tooling"
|
||||
SLOT="0"
|
||||
SRC_URI="https://github.com/frankluebeck/${MY_PN}/archive/relv${PV}.tar.gz -> ${P}.tar.gz"
|
||||
|
||||
LICENSE="GPL-2+"
|
||||
KEYWORDS="~amd64"
|
||||
IUSE="examples"
|
||||
|
||||
# PackageInfo.g defines TestFile := tst/test.tst, but that
|
||||
# file doesn't exist!
|
||||
RESTRICT=test
|
||||
|
||||
DOCS=( CHANGES README.md )
|
||||
|
||||
S="${WORKDIR}/${MY_PN}-relv${PV}"
|
||||
|
||||
GAP_PKG_EXTRA_INSTALL=(
|
||||
bibxmlext.dtd
|
||||
gapdoc.dtd
|
||||
styles
|
||||
version
|
||||
)
|
||||
|
||||
src_install(){
|
||||
gap-pkg_src_install
|
||||
|
||||
if use examples; then
|
||||
docinto examples
|
||||
dodoc -r 3k+1
|
||||
fi
|
||||
|
||||
# The "example" directory is mentioned in PackageInfo.g, so we
|
||||
# include it unconditionally, and install it in the gap package
|
||||
# directory (so that the path in PackageInfo.g is accurate).
|
||||
# Afterwards we symlink it into the usual USE=examples path.
|
||||
insinto $(gap-pkg_dir)
|
||||
doins -r example
|
||||
dosym -r $(gap-pkg_dir)/example \
|
||||
"/usr/share/doc/${PF}/examples/example"
|
||||
}
|
||||
28
dev-gap/gapdoc/metadata.xml
Normal file
28
dev-gap/gapdoc/metadata.xml
Normal file
@@ -0,0 +1,28 @@
|
||||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
|
||||
<pkgmetadata>
|
||||
<maintainer type="person">
|
||||
<email>mjo@gentoo.org</email>
|
||||
</maintainer>
|
||||
<maintainer type="person">
|
||||
<email>frp.bissey@gmail.com</email>
|
||||
<name>François Bissey</name>
|
||||
</maintainer>
|
||||
<maintainer type="project" proxied="proxy">
|
||||
<email>proxy-maint@gentoo.org</email>
|
||||
<name>Proxy Maintainers</name>
|
||||
</maintainer>
|
||||
<maintainer type="project">
|
||||
<email>sci-mathematics@gentoo.org</email>
|
||||
<name>Gentoo Mathematics Project</name>
|
||||
</maintainer>
|
||||
<longdescription lang="en">
|
||||
This package contains a definition of a structure for GAP (package)
|
||||
documentation, based on XML. It also contains conversion programs
|
||||
for producing text-, PDF- or HTML-versions of such documents, with
|
||||
hyperlinks if possible.
|
||||
</longdescription>
|
||||
<upstream>
|
||||
<remote-id type="github">frankluebeck/GAPDoc</remote-id>
|
||||
</upstream>
|
||||
</pkgmetadata>
|
||||
Reference in New Issue
Block a user