diff options
Diffstat (limited to '')
-rw-r--r-- | doc/user/Makefile.am | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/doc/user/Makefile.am b/doc/user/Makefile.am index 3359f1586f..47c29b003b 100644 --- a/doc/user/Makefile.am +++ b/doc/user/Makefile.am @@ -186,9 +186,10 @@ chains.texi: chains.t -u "Top" \ -n "Directive Status Codes" < $< > $@ -EXTRA_DIST = bsp.t clock.t chains.t concepts.t cpuuse.t datatypes.t conf.t dpmem.t \ - event.t fatal.t init.t intr.t io.t mp.t msg.t overview.t part.t region.t \ - rtmon.t sem.t schedule.t signal.t stackchk.t task.t timer.t userext.t \ - $(TXT_FILES) $(PNG_FILES) $(EPS_IMAGES) $(noinst_DATA) +EXTRA_DIST = bsp.t clock.t chains.t concepts.t cpuuse.t datatypes.t conf.t \ + dpmem.t event.t fatal.t init.t intr.t io.t mp.t msg.t overview.t \ + part.t region.t rtmon.t sem.t schedule.t signal.t stackchk.t \ + task.t timer.t userext.t $(TXT_FILES) $(PNG_FILES) $(EPS_IMAGES) \ + $(noinst_DATA) CLEANFILES += c_user.info c_user.info-? c_user.info-?? |