diff options
Diffstat (limited to 'doc/develenv/Makefile.am')
| -rw-r--r-- | doc/develenv/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/develenv/Makefile.am b/doc/develenv/Makefile.am index f5f463e18c..0320e52d7a 100644 --- a/doc/develenv/Makefile.am +++ b/doc/develenv/Makefile.am @@ -15,7 +15,8 @@ include $(top_srcdir)/project.am FILES = compile.texi direct.texi intro.texi sample.texi utils.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 = develenv.texi develenv_TEXINFOS = $(FILES) $(COMMON_FILES) $(GENERATED_FILES) |