diff options
Diffstat (limited to '')
-rw-r--r-- | doc/porting/Makefile.am | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/doc/porting/Makefile.am b/doc/porting/Makefile.am index f376e5b0b4..53c2b9795e 100644 --- a/doc/porting/Makefile.am +++ b/doc/porting/Makefile.am @@ -21,7 +21,8 @@ GENERATED_FILES = developtools.texi sourcecode.texi cpumodels.texi \ cpuinit.texi interrupts.texi taskcontext.texi idlethread.texi \ prioritybitmap.texi codetuning.texi miscellaneous.texi -COMMON_FILES = $(top_srcdir)/common/setup.texi $(top_srcdir)/common/cpright.texi +COMMON_FILES = $(top_srcdir)/common/setup.texi \ + $(top_srcdir)/common/cpright.texi info_TEXINFOS = porting.texi porting_TEXINFOS = $(FILES) $(COMMON_FILES) $(GENERATED_FILES) @@ -76,4 +77,5 @@ $(srcdir)/miscellaneous.texi: miscellaneous.t -u "Top" \ -n "Command and Variable Index" < $< > $@ -EXTRA_DIST = *.t +EXTRA_DIST = codetuning.t cpuinit.t cpumodels.t developtools.t idlethread.t \ + interrupts.t miscellaneous.t prioritybitmap.t sourcecode.t taskcontext.t |