diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual/Makefile.am b/doc/manual/Makefile.am index 009496a8f681..33cb27e054bd 100644 --- a/doc/manual/Makefile.am +++ b/doc/manual/Makefile.am @@ -108,7 +108,7 @@ images: cp $(docbookxsl)/images/callouts/*.gif images/callouts chmod -R +w images -KEEP = manual.html manual.is-valid version.txt $(MANS) NEWS.html NEWS.txt +KEEP = manual.html manual.xmli manual.is-valid version.txt $(MANS) NEWS.html NEWS.txt EXTRA_DIST = $(MANUAL_SRCS) $(FIGURES) $(KEEP) |