dev-util/weblint: remove last rited package
authorMichael Palimaka <kensington@gentoo.org>
Sat, 18 Mar 2017 06:26:27 +0000 (17:26 +1100)
committerMichael Palimaka <kensington@gentoo.org>
Sat, 18 Mar 2017 06:26:58 +0000 (17:26 +1100)
Gentoo-bug: 602008

dev-util/weblint/Manifest [deleted file]
dev-util/weblint/metadata.xml [deleted file]
dev-util/weblint/weblint-1.020.ebuild [deleted file]

diff --git a/dev-util/weblint/Manifest b/dev-util/weblint/Manifest
deleted file mode 100644 (file)
index ea012cf..0000000
+++ /dev/null
@@ -1 +0,0 @@
-DIST weblint-1.020.tar.gz 41264 SHA256 6d84c2b044fdaede92d39bc6647d187c5b1adca932265f1ae8c5aefae0ca0ec0 SHA512 dedcbdc43dd2edd786849bf0b919d3e808440a9f1f801b24aae1c4891da33f6801ab3b8abc030cfd7ba993b32ff90a811bd08c3ceeff7a77bbdc3c9877dff2b0 WHIRLPOOL 812362b2504c3e3aa482a81c76735b9fe1b57853b48f76c061240fd84c3269708f2e5b8c0292fddd2fcbe8b9f8ab063760c0c695caeadaa8dbe721ca78218d66
diff --git a/dev-util/weblint/metadata.xml b/dev-util/weblint/metadata.xml
deleted file mode 100644 (file)
index 6f49eba..0000000
+++ /dev/null
@@ -1,5 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
-<pkgmetadata>
-<!-- maintainer-needed -->
-</pkgmetadata>
diff --git a/dev-util/weblint/weblint-1.020.ebuild b/dev-util/weblint/weblint-1.020.ebuild
deleted file mode 100644 (file)
index ae5c54c..0000000
+++ /dev/null
@@ -1,19 +0,0 @@
-# Copyright 1999-2008 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-DESCRIPTION="syntax and minimal style checker for HTML by Neil Bowers"
-SRC_URI="mirror://gentoo/${P}.tar.gz"
-HOMEPAGE="http://www.w3.org/Tools/weblint.html"
-
-SLOT="0"
-LICENSE="GPL-2"
-KEYWORDS="alpha amd64 ppc sparc x86"
-IUSE=""
-
-src_install() {
-       dobin weblint
-       doman weblint.1
-
-       insinto /etc
-       doins weblintrc
-}