diff options
author | Michael Orlitzky <mjo@gentoo.org> | 2023-12-21 10:26:23 -0500 |
---|---|---|
committer | Michael Orlitzky <mjo@gentoo.org> | 2024-01-22 06:29:01 -0500 |
commit | 8d444e7486492575c0bd184c36cfb3b6a17e70d1 (patch) | |
tree | ec0f5e9fcdf6750d00c2e9f6c909e68264714115 /dev-gap | |
parent | dev-gap/io: new package, add 4.8.2 (diff) | |
download | gentoo-8d444e7486492575c0bd184c36cfb3b6a17e70d1.tar.gz gentoo-8d444e7486492575c0bd184c36cfb3b6a17e70d1.tar.bz2 gentoo-8d444e7486492575c0bd184c36cfb3b6a17e70d1.zip |
dev-gap/autodoc: new package, add 2022.10.20
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
Diffstat (limited to 'dev-gap')
-rw-r--r-- | dev-gap/autodoc/Manifest | 1 | ||||
-rw-r--r-- | dev-gap/autodoc/autodoc-2022.10.20.ebuild | 24 | ||||
-rw-r--r-- | dev-gap/autodoc/metadata.xml | 31 |
3 files changed, 56 insertions, 0 deletions
diff --git a/dev-gap/autodoc/Manifest b/dev-gap/autodoc/Manifest new file mode 100644 index 000000000000..94efe4ee11c8 --- /dev/null +++ b/dev-gap/autodoc/Manifest @@ -0,0 +1 @@ +DIST autodoc-2022.10.20.tar.gz 520766 BLAKE2B 60967b2d7ec6e099de2914dde1072d47fd6ffe93cc44ccd513a6fe4b16512577a756280aca33f3defc593f5cf3d871f21f936c868cfdfea5a4fbeb06ef6436c6 SHA512 f87821cc37fca064cb74400ee9216d93dd7df44c1dae4287742455e0b55081a237e59e4319f46f10b9d3058ec23cd82ab38e00ad5e09f37692c72d8092c45d12 diff --git a/dev-gap/autodoc/autodoc-2022.10.20.ebuild b/dev-gap/autodoc/autodoc-2022.10.20.ebuild new file mode 100644 index 000000000000..68e237310664 --- /dev/null +++ b/dev-gap/autodoc/autodoc-2022.10.20.ebuild @@ -0,0 +1,24 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit gap-pkg + +DESCRIPTION="Generate documentation from GAP source code" +SLOT="0" +SRC_URI="https://github.com/gap-packages/${PN}/releases/download/v${PV}/${P}.tar.gz" + +LICENSE="GPL-2+" +KEYWORDS="~amd64" + +S="${WORKDIR}/AutoDoc-${PV}" + +# The test suite tries to LoadPackage this +BDEPEND="test? ( dev-gap/io )" +gap-pkg_enable_tests + +src_prepare() { + default + rm -f makefile +} diff --git a/dev-gap/autodoc/metadata.xml b/dev-gap/autodoc/metadata.xml new file mode 100644 index 000000000000..1c4257144d5b --- /dev/null +++ b/dev-gap/autodoc/metadata.xml @@ -0,0 +1,31 @@ +<?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"> + AutoDoc is a package for the GAP computer algebra system. It is + meant to simplify the creation of reference manuals for GAP + packages. It makes it possible to create documentation from source + code comments, without writing XML files. It is not a substitute for + GAPDoc, but rather builds on GAPDoc, by generating XML input for the + latter. As such, you can combine an existing GAPDoc manual with + AutoDoc. + </longdescription> + <upstream> + <remote-id type="github">gap-packages/AutoDoc</remote-id> + </upstream> +</pkgmetadata> |