From 991355191eefe00288b6f4eea662f8da37a28aaf Mon Sep 17 00:00:00 2001 From: Michael Palimaka Date: Sat, 18 Mar 2017 17:26:27 +1100 Subject: [PATCH] dev-util/weblint: remove last rited package Gentoo-bug: 602008 --- dev-util/weblint/Manifest | 1 - dev-util/weblint/metadata.xml | 5 ----- dev-util/weblint/weblint-1.020.ebuild | 19 ------------------- 3 files changed, 25 deletions(-) delete mode 100644 dev-util/weblint/Manifest delete mode 100644 dev-util/weblint/metadata.xml delete mode 100644 dev-util/weblint/weblint-1.020.ebuild diff --git a/dev-util/weblint/Manifest b/dev-util/weblint/Manifest deleted file mode 100644 index ea012cf15dac..000000000000 --- a/dev-util/weblint/Manifest +++ /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 index 6f49eba8f496..000000000000 --- a/dev-util/weblint/metadata.xml +++ /dev/null @@ -1,5 +0,0 @@ - - - - - diff --git a/dev-util/weblint/weblint-1.020.ebuild b/dev-util/weblint/weblint-1.020.ebuild deleted file mode 100644 index ae5c54c04489..000000000000 --- a/dev-util/weblint/weblint-1.020.ebuild +++ /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 -} -- 2.26.2