mirror of
https://github.com/gentoo-mirror/guru.git
synced 2025-04-18 15:28:58 -04:00
A non-existent or empty directory doc with HTML_DOCS="doc/*" causes einstalldocs to die. Closes: https://bugs.gentoo.org/913357 Signed-off-by: Lucio Sauer <watermanpaint@posteo.net>