diff options
| -rw-r--r-- | doc/Makefile.am | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 43d611b3d..61c895416 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -1,9 +1,7 @@ ## Process this file with automake to produce Makefile.in info_TEXINFOS = fileutils.texi -# FIXME: remove texinfo.tex when automake has been fixed to include it -# automatically -EXTRA_DIST = perm.texi getdate.texi texinfo.tex +EXTRA_DIST = perm.texi getdate.texi # Tell makeinfo to put everything in a single info file: sh-utils.info. # Otherwise, it would also generate files with names like sh-utils.info-[123], |