From 36ac65103bf5503e5bad1ecc7e8cb9e7643f6840 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Fri, 13 Sep 2019 17:49:31 +0100 Subject: Revert "gentoo resync : 13.09.2019" This reverts commit a1392efe64137262023d92492396ca9156d22396. --- .../metadata.xml | 25 ---------------------- 1 file changed, 25 deletions(-) delete mode 100644 dev-python/sphinxcontrib-pretty-searchresults/metadata.xml (limited to 'dev-python/sphinxcontrib-pretty-searchresults/metadata.xml') diff --git a/dev-python/sphinxcontrib-pretty-searchresults/metadata.xml b/dev-python/sphinxcontrib-pretty-searchresults/metadata.xml deleted file mode 100644 index 479261280af7..000000000000 --- a/dev-python/sphinxcontrib-pretty-searchresults/metadata.xml +++ /dev/null @@ -1,25 +0,0 @@ - - - - - bernardo@standard.ai - Bernardo Meurer - - - proxy-maint@gentoo.org - Gentoo Proxy Maintainers Project - - - Sphinx: pretty search results is an extension for the Sphinx - documentation tool. - - To display search results, Sphinx is fetching the - source files of search hits and rendering excerpts in raw markup - (Example). This extension removes the markup from these source files - (during build time), so the search results look decent. - - - sphinxprettysearchresults - sphinx-contrib/sphinx-pretty-searchresults - - -- cgit v1.2.3