From: Michael Palimaka <kensington@gentoo.org>
Date: Sat, 18 Mar 2017 06:26:27 +0000 (+1100)
Subject: dev-util/weblint: remove last rited package
X-Git-Url: http://git.tremily.us/?a=commitdiff_plain;h=991355191eefe00288b6f4eea662f8da37a28aaf;p=gentoo.git

dev-util/weblint: remove last rited package

Gentoo-bug: 602008
---

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 @@
-<?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
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
-}