diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index 0585975..6fd5f64 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -10,7 +10,6 @@ # even the implied warranty of MERCHANTABILITY or FITNESS FOR A # PARTICULAR PURPOSE. - SHELL = @SHELL@ srcdir = @srcdir@ @@ -77,7 +76,6 @@ INTLLIBS = @INTLLIBS@ INTLOBJS = @INTLOBJS@ LANGUAGE_MAP_FILE = @LANGUAGE_MAP_FILE@ LDFLAGS = @LDFLAGS@ -LIBOBJS = @LIBOBJS@ LN_S = @LN_S@ MAKEINFO = @MAKEINFO@ MKINSTALLDIRS = @MKINSTALLDIRS@ @@ -94,6 +92,7 @@ VERSION = @VERSION@ l = @l@ lispdir = @lispdir@ + info_TEXINFOS = id-utils.texi EXTRA_DIST = texinfo.tex |