--- /dev/null
+SUBDIRS = developer user
--- /dev/null
+SUBDIRS = developer_guide
+
+EXTRA_DIST = coding.html discuss.html format.html guiControlFlow.html gui_layout.txt hook_prio.txt index.html library-header.txt ltt-to-do.html lttv.html lttvwindow_events_delivery.txt process_traceset_strict_boundaries.txt program-header.txt requests_servicing_schedulers.txt status.html todo.html
--- /dev/null
+SUBDIRS = docbook html
+
+EXTRA_DIST = developer_guide.dvi
--- /dev/null
+SUBDIRS = user_guide
+
+EXTRA_DIST = guiEvents.html
--- /dev/null
+SUBDIRS = docbook html
+
+EXTRA_DIST = user_guide.dvi