diff options
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |