# HG changeset patch
# User John Donoghue <john.donoghue@ieee.org>
# Date 1658322505 14400
# Node ID ad7b12d9676725411d569e155290a7ca84c0de93
# Parent  6c9d803d4a833a242eb51edef110c2a9fdbd9fc1
* src/libxml2.mk: remove additional docs

diff -r 6c9d803d4a83 -r ad7b12d96767 src/libxml2.mk
--- a/src/libxml2.mk	Wed Jul 20 09:05:59 2022 -0400
+++ b/src/libxml2.mk	Wed Jul 20 09:08:25 2022 -0400
@@ -36,8 +36,8 @@
 
     if [ "$(ENABLE_DEP_DOCS)" == "no" ]; then \
       rm -rf "$(3)$(HOST_PREFIX)/share/gtk-doc"; \
-      rm -rf "$(3)$(HOST_PREFIX)/share/doc/$($(PKG)_SUBDIR)/html"; \
-      rm -rf "$(3)$(HOST_PREFIX)/share/doc/$($(PKG)_SUBDIR)/examples"; \
+      rm -rf "$(3)$(HOST_PREFIX)/share/doc/$($(PKG)_SUBDIR)"; \
+      rm -rf "$(3)$(HOST_PREFIX)/share/doc/$(PKG)"; \
     fi
 endef