aboutsummaryrefslogtreecommitdiffstats
path: root/lib/cosTime/doc
diff options
context:
space:
mode:
Diffstat (limited to 'lib/cosTime/doc')
-rw-r--r--lib/cosTime/doc/src/Makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/cosTime/doc/src/Makefile b/lib/cosTime/doc/src/Makefile
index 568e2cd4cc..83abc5e7c2 100644
--- a/lib/cosTime/doc/src/Makefile
+++ b/lib/cosTime/doc/src/Makefile
@@ -64,6 +64,9 @@ XML_CHAPTER_FILES = \
BOOK_FILES = book.xml
+XML_FILES = $(BOOK_FILES) $(XML_APPLICATION_FILES) $(XML_REF3_FILES) \
+ $(XML_PART_FILES) $(XML_CHAPTER_FILES)
+
TECHNICAL_DESCR_FILES =
GIF_FILES = \