summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 30e0df5..e0f06bb 100644
--- a/Makefile
+++ b/Makefile
@@ -19,6 +19,7 @@ XMLFILES-${1}= ${1}/acknowledgments.xml \
${1}/style.xml \
${1}/tutorial.xml \
${1}/vim.xml \
+ ${1}/publishing.xml \
${1}/${DOCBASE}.xml
endef