Bug: https://bugs.gentoo.org/show_bug.cgi?id=520546
---
bin/eapi.sh | 6 +++++-
bin/ebuild-helpers/dohtml | 7 ++++++-
2 files changed, 11 insertions(+), 2 deletions(-)
diff --git a/bin/eapi.sh b/bin/eapi.sh
index f3ba0da6e..964e19d7d 100644
--- a/bin/eapi.sh
+++ b/bin/eapi.sh
@@ -52,8 +52,12 @@ ___eapi_has_einstall() {
[[ ${1-${EAPI-0}} =~
^(0|1|2|3|4|4-python|4-slot-abi|5|5-hdepend|5-progress)$ ]]
}
+___eapi_has_dohtml() {
+ [[ ${1-${EAPI-0}} =~
^(0|1|2|3|4|4-python|4-slot-abi|5|5-hdepend|5-progress|6)$ ]]
+}
+
___eapi_has_dohtml_deprecated() {
- [[ ! ${1-${EAPI-0}} =~
^(0|1|2|3|4|4-python|4-slot-abi|5|5-hdepend|5-progress)$ ]]
+ [[ ${1-${EAPI-0}} == 6 ]]
}
___eapi_has_docompress() {
diff --git a/bin/ebuild-helpers/dohtml b/bin/ebuild-helpers/dohtml
index 860d4abbe..49d6a6dfb 100755
--- a/bin/ebuild-helpers/dohtml
+++ b/bin/ebuild-helpers/dohtml
@@ -1,9 +1,14 @@
#!/bin/bash
-# Copyright 2009-2013 Gentoo Foundation
+# Copyright 2009-2018 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
source "${PORTAGE_BIN_PATH}"/isolated-functions.sh || exit 1
+if ! ___eapi_has_dohtml; then
+ die "'${0##*/}' has been banned for EAPI '$EAPI'"
+ exit 1
+fi
+
if ___eapi_has_dohtml_deprecated; then
eqawarn "'${0##*/}' is deprecated in EAPI '$EAPI'"
fi
--
2.16.2
