diff options
Diffstat (limited to '')
| -rw-r--r-- | doc/develenv/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/develenv/Makefile.am b/doc/develenv/Makefile.am index 0320e52d7a..805ac5791f 100644 --- a/doc/develenv/Makefile.am +++ b/doc/develenv/Makefile.am @@ -19,4 +19,4 @@ COMMON_FILES = $(top_srcdir)/common/setup.texi \ $(top_srcdir)/common/cpright.texi info_TEXINFOS = develenv.texi -develenv_TEXINFOS = $(FILES) $(COMMON_FILES) $(GENERATED_FILES) +develenv_TEXINFOS = $(FILES) $(COMMON_FILES) |