Remove all traces of xml docs

.github/scripts/restore-from-prebuilt.sh

@@ -172,7 +172,7 @@ if [ -n "${ARCHIVE}" ]; then
 
         echo "::group::{Run ${i}: docs}"
         ### If any of the doc generating tools change, we need to re-compile the docs
-        if grep "lib/\(xmerl\|erl_docgen\|edoc\)" "${CHANGES}"; then
+        if grep "lib/\(xmerl\|edoc\)" "${CHANGES}"; then
             echo "Deleting all docs as documentation tools have changed" >&2
             rm -rf "${CACHE_DIR}"/lib/*/doc/ "${CACHE_DIR}/erts/doc/" "${CACHE_DIR}/system/"
         fi

Makefile.in

@@ -661,6 +661,7 @@ DOC_BOOTSTRAP_BUILD=xmerl edoc erl_docgen
 DOC_BOOTSTRAP=$(DOC_BOOTSTRAP_BUILD)
 
 $(BOOTSTRAP_ROOT)/bootstrap/lib/%/update:
+	$(V_generate)
 	$(V_at)for x in "$(dir $@)" "$(dir $@)/ebin" "$(dir $@)/include"; do \
 	        if [ ! -d "$$x" ]; then mkdir "$$x"; fi \
         done