diff --git a/doc/Makefile b/doc/Makefile
index 8adaf5b6e..558a04900 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -40,6 +40,7 @@ help:
 
 doxy:
 	$(Q)(cat acrn.doxyfile) | doxygen - > doc.log 2>&1
+	$(Q)find doxygen/xml/* | xargs sed -i 's/simplesect kind="pre"/simplesect kind="preconditions"/'
 
 content:
 	$(Q)scripts/extract_content.py . tools
@@ -51,7 +52,6 @@ kconfig:
 pullsource:
 	$(Q)scripts/pullsource.sh
 
-
 html: doxy content kconfig
 	-$(Q)$(SPHINXBUILD) -t $(DOC_TAG) -b html -d $(BUILDDIR)/doctrees $(SOURCEDIR) $(BUILDDIR)/html $(SPHINXOPTS) $(OPTS) >> doc.log 2>&1
 	$(Q)./scripts/filter-doc-log.sh doc.log