aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 98fc69a2a..f9b3ded03 100644
--- a/Makefile
+++ b/Makefile
@@ -504,7 +504,7 @@ ifeq ($(XMLSTARLET),:)
@echo "--- Please install xmlstarlet to validate the documentation ---"
@echo "---------------------------------------------------------------"
else
- $(XMLSTARLET) val $<
+ $(XMLSTARLET) val -d doc/appdocsxml.dtd $<
endif
update: