diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index b9f099550..b5e937144 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -11,7 +11,7 @@ EXTRA_DIST = perm.texi getdate.texi constants.texi doclicense.texi # Otherwise, it would also generate files with names like <package>.info-[123], # and those names all map to one 14-byte name (<package>.info-) on some crufty # old systems. -MAKEINFO = makeinfo --no-split +AM_MAKEINFOFLAGS = --no-split constants.texi: $(top_srcdir)/src/tail.c LC_ALL=C \ |