diff options
Diffstat (limited to '')
| -rw-r--r-- | doc/develenv/Makefile.am | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/develenv/Makefile.am b/doc/develenv/Makefile.am index 1a97d72370..bc55043ec5 100644 --- a/doc/develenv/Makefile.am +++ b/doc/develenv/Makefile.am @@ -17,8 +17,7 @@ FILES = direct.texi intro.texi sample.texi utils.texi GENERATED_FILES = direct.texi sample.texi utils.texi -COMMON_FILES = $(top_srcdir)/common/setup.texi \ - $(top_srcdir)/common/cpright.texi +COMMON_FILES += $(top_srcdir)/common/cpright.texi info_TEXINFOS = develenv.texi develenv_TEXINFOS = $(FILES) $(COMMON_FILES) $(GENERATED_FILES) |