commit: 0dd820a7c4908943eaa4d0ab9d701339c1c99a7c
Author: Ulrich Müller <ulm <AT> gentoo <DOT> org>
AuthorDate: Sat Oct 7 14:53:37 2023 +0000
Commit: Ulrich Müller <ulm <AT> gentoo <DOT> org>
CommitDate: Sat Oct 7 15:01:51 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0dd820a7
app-text/gentoo-dtd: new package, add 20230914, 99999999
Signed-off-by: Ulrich Müller <ulm <AT> gentoo.org>
app-text/gentoo-dtd/Manifest | 1 +
app-text/gentoo-dtd/gentoo-dtd-20230914.ebuild | 49 ++++++++++++++++++++++++++
app-text/gentoo-dtd/gentoo-dtd-99999999.ebuild | 49 ++++++++++++++++++++++++++
app-text/gentoo-dtd/metadata.xml | 11 ++++++
4 files changed, 110 insertions(+)
diff --git a/app-text/gentoo-dtd/Manifest b/app-text/gentoo-dtd/Manifest
new file mode 100644
index 000000000000..77d39c1fa1bc
--- /dev/null
+++ b/app-text/gentoo-dtd/Manifest
@@ -0,0 +1 @@
+DIST gentoo-dtd-20230914.tar.xz 6288 BLAKE2B
0b11fb7c34bf6be994242d93ae3a999d6490a177bcdd596d6b949a903c663fa66c75ea14d52e3d63ab19c806742be470570303c16ab656ce69e8a7406f38ef6c
SHA512
29f8a12ddb2e9764c1d1eace26a4e7ae559c9001c32313e55708529a894a93a54c17c856e34589c016451a594deedb32279d282fbb9452b671089061a073bc71
diff --git a/app-text/gentoo-dtd/gentoo-dtd-20230914.ebuild
b/app-text/gentoo-dtd/gentoo-dtd-20230914.ebuild
new file mode 100644
index 000000000000..2f030b713978
--- /dev/null
+++ b/app-text/gentoo-dtd/gentoo-dtd-20230914.ebuild
@@ -0,0 +1,49 @@
+# Copyright 2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+if [[ ${PV} == 99999999 ]]; then
+ inherit git-r3
+ EGIT_REPO_URI="https://anongit.gentoo.org/git/data/dtd.git";
+else
+ # git archive --prefix=${P}/ HEAD | xz >${P}.tar.xz
+ SRC_URI="https://dev.gentoo.org/~ulm/distfiles/${P}.tar.xz";
+ KEYWORDS="~amd64 ~x86"
+fi
+
+DESCRIPTION="Document Type Definition for Gentoo-related XML files"
+HOMEPAGE="https://gitweb.gentoo.org/data/dtd.git/";
+
+# Presumably these simple DTDs are not copyrightable,
+# but repositories.dtd says GPL v2 or later.
+LICENSE="public-domain GPL-2+"
+SLOT="0"
+
+RDEPEND="dev-libs/libxml2"
+IDEPEND="${RDEPEND}"
+
+src_install() {
+ insinto /usr/share/xml/gentoo/dtd
+ doins *.dtd
+}
+
+pkg_postinst() {
+ ebegin "Installing catalog entry"
+ xmlcatalog --noout \
+ --add rewriteSystem "http://www.gentoo.org/dtd/"; \
+ "file://${EPREFIX}/usr/share/xml/gentoo/dtd/" \
+ --add rewriteSystem "https://www.gentoo.org/dtd/"; \
+ "file://${EPREFIX}/usr/share/xml/gentoo/dtd/" \
+ "${EROOT}"/etc/xml/catalog
+ eend $?
+}
+
+pkg_postrm() {
+ ebegin "Cleaning catalog"
+ xmlcatalog --noout \
+ --del "http://www.gentoo.org/dtd/"; \
+ --del "https://www.gentoo.org/dtd/"; \
+ "${EROOT}"/etc/xml/catalog
+ eend $?
+}
diff --git a/app-text/gentoo-dtd/gentoo-dtd-99999999.ebuild
b/app-text/gentoo-dtd/gentoo-dtd-99999999.ebuild
new file mode 100644
index 000000000000..2f030b713978
--- /dev/null
+++ b/app-text/gentoo-dtd/gentoo-dtd-99999999.ebuild
@@ -0,0 +1,49 @@
+# Copyright 2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+if [[ ${PV} == 99999999 ]]; then
+ inherit git-r3
+ EGIT_REPO_URI="https://anongit.gentoo.org/git/data/dtd.git";
+else
+ # git archive --prefix=${P}/ HEAD | xz >${P}.tar.xz
+ SRC_URI="https://dev.gentoo.org/~ulm/distfiles/${P}.tar.xz";
+ KEYWORDS="~amd64 ~x86"
+fi
+
+DESCRIPTION="Document Type Definition for Gentoo-related XML files"
+HOMEPAGE="https://gitweb.gentoo.org/data/dtd.git/";
+
+# Presumably these simple DTDs are not copyrightable,
+# but repositories.dtd says GPL v2 or later.
+LICENSE="public-domain GPL-2+"
+SLOT="0"
+
+RDEPEND="dev-libs/libxml2"
+IDEPEND="${RDEPEND}"
+
+src_install() {
+ insinto /usr/share/xml/gentoo/dtd
+ doins *.dtd
+}
+
+pkg_postinst() {
+ ebegin "Installing catalog entry"
+ xmlcatalog --noout \
+ --add rewriteSystem "http://www.gentoo.org/dtd/"; \
+ "file://${EPREFIX}/usr/share/xml/gentoo/dtd/" \
+ --add rewriteSystem "https://www.gentoo.org/dtd/"; \
+ "file://${EPREFIX}/usr/share/xml/gentoo/dtd/" \
+ "${EROOT}"/etc/xml/catalog
+ eend $?
+}
+
+pkg_postrm() {
+ ebegin "Cleaning catalog"
+ xmlcatalog --noout \
+ --del "http://www.gentoo.org/dtd/"; \
+ --del "https://www.gentoo.org/dtd/"; \
+ "${EROOT}"/etc/xml/catalog
+ eend $?
+}
diff --git a/app-text/gentoo-dtd/metadata.xml b/app-text/gentoo-dtd/metadata.xml
new file mode 100644
index 000000000000..eee04478cf76
--- /dev/null
+++ b/app-text/gentoo-dtd/metadata.xml
@@ -0,0 +1,11 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";>
+<pkgmetadata>
+<maintainer type="person">
+ <email>[email protected]</email>
+</maintainer>
+<stabilize-allarches/>
+<upstream>
+ <remote-id type="gentoo">data/dtd</remote-id>
+</upstream>
+</pkgmetadata>
