aboutsummaryrefslogtreecommitdiffstats
path: root/system/doc/system_principles/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'system/doc/system_principles/Makefile')
-rw-r--r--system/doc/system_principles/Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/system/doc/system_principles/Makefile b/system/doc/system_principles/Makefile
index bb74125f3a..1979deda4c 100644
--- a/system/doc/system_principles/Makefile
+++ b/system/doc/system_principles/Makefile
@@ -82,6 +82,7 @@ debug opt:
clean clean_docs:
rm -rf $(HTMLDIR)
+ rm -rf $(XMLDIR)
rm -f $(TOP_PDF_FILE) $(TOP_PDF_FILE:%.pdf=%.fo)
rm -f errs core *~