diff options
Diffstat (limited to 'doc/porting/Makefile.am')
| -rw-r--r-- | doc/porting/Makefile.am | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/porting/Makefile.am b/doc/porting/Makefile.am index b0dcdde820..19a2f7d049 100644 --- a/doc/porting/Makefile.am +++ b/doc/porting/Makefile.am @@ -6,7 +6,6 @@ # $Id$ # - PROJECT = porting EDITION = 1 @@ -77,6 +76,8 @@ miscellaneous.texi: miscellaneous.t -n "Command and Variable Index" < $< > $@ EXTRA_DIST = codetuning.t cpuinit.t cpumodels.t developtools.t idlethread.t \ - interrupts.t miscellaneous.t prioritybitmap.t sourcecode.t taskcontext.t + interrupts.t miscellaneous.t prioritybitmap.t sourcecode.t \ + taskcontext.t CLEANFILES += porting.info porting.info-? + |