diff options
Diffstat (limited to '')
-rw-r--r-- | doc/porting/Makefile.am | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/porting/Makefile.am b/doc/porting/Makefile.am index b01b151f1b..77c42bf03e 100644 --- a/doc/porting/Makefile.am +++ b/doc/porting/Makefile.am @@ -21,8 +21,7 @@ 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/cpright.texi info_TEXINFOS = porting.texi porting_TEXINFOS = $(FILES) $(COMMON_FILES) $(GENERATED_FILES) |