From 0fb3d3da7b0e13e67a59614a4cb48d794ab23e27 Mon Sep 17 00:00:00 2001 From: Michael Mair-Keimberger Date: Sat, 13 Jun 2020 10:09:55 +0200 Subject: dev-lang/logtalk: remove unused patch Package-Manager: Portage-2.3.100, Repoman-2.3.22 Signed-off-by: Michael Mair-Keimberger Signed-off-by: Mike Gilbert Closes: https://github.com/gentoo/gentoo/pull/16215 --- dev-lang/logtalk/files/logtalk-3.11.2-portage.patch | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100644 dev-lang/logtalk/files/logtalk-3.11.2-portage.patch (limited to 'dev-lang/logtalk') diff --git a/dev-lang/logtalk/files/logtalk-3.11.2-portage.patch b/dev-lang/logtalk/files/logtalk-3.11.2-portage.patch deleted file mode 100644 index f416217399f1..000000000000 --- a/dev-lang/logtalk/files/logtalk-3.11.2-portage.patch +++ /dev/null @@ -1,17 +0,0 @@ ---- a/scripts/logtalk_user_setup.sh -+++ b/scripts/logtalk_user_setup.sh -@@ -130,14 +130,6 @@ - rm -f "$LOGTALKUSER"/tools/lgtdoc/xml/lgt2* - rm -f "$LOGTALKUSER"/tools/lgtdoc/xml/logtalk.dtd - rm -f "$LOGTALKUSER"/tools/lgtdoc/xml/logtalk.xsd --ln -sf "$LOGTALKHOME"/BIBLIOGRAPHY.bib "$LOGTALKUSER"/BIBLIOGRAPHY.bib --ln -sf "$LOGTALKHOME"/CUSTOMIZE.md "$LOGTALKUSER"/CUSTOMIZE.md --ln -sf "$LOGTALKHOME"/INSTALL.md "$LOGTALKUSER"/INSTALL.md --ln -sf "$LOGTALKHOME"/LICENSE.txt "$LOGTALKUSER"/LICENSE.txt --ln -sf "$LOGTALKHOME"/QUICK_START.md "$LOGTALKUSER"/QUICK_START.md --ln -sf "$LOGTALKHOME"/README.md "$LOGTALKUSER"/README.md --ln -sf "$LOGTALKHOME"/RELEASE_NOTES.md "$LOGTALKUSER"/RELEASE_NOTES.md --ln -sf "$LOGTALKHOME"/UPGRADING.md "$LOGTALKUSER"/UPGRADING.md - ln -sf "$LOGTALKHOME"/adapters "$LOGTALKUSER"/adapters - ln -sf "$LOGTALKHOME"/manuals "$LOGTALKUSER"/manuals - ln -sf "$LOGTALKHOME"/paths "$LOGTALKUSER"/paths -- cgit v1.2.3-65-gdbad