diff options
Diffstat (limited to 'doc/Makefile.in')
| -rw-r--r-- | doc/Makefile.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index 087fa1760..88739bd6f 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -57,6 +57,8 @@ POST_INSTALL = : NORMAL_UNINSTALL = : PRE_UNINSTALL = : POST_UNINSTALL = : +host_alias = @host_alias@ +host_triplet = @host@ AMTAR = @AMTAR@ AMTARFLAGS = @AMTARFLAGS@ CATALOGS = @CATALOGS@ @@ -66,6 +68,7 @@ CPP = @CPP@ DATADIRNAME = @DATADIRNAME@ DF_PROG = @DF_PROG@ GENCAT = @GENCAT@ +GETCONF = @GETCONF@ GMOFILES = @GMOFILES@ GMSGFMT = @GMSGFMT@ GNU_PACKAGE = @GNU_PACKAGE@ @@ -299,6 +302,7 @@ distdir: $(DISTFILES) || cp -p $$d/$$file $(distdir)/$$file || :; \ fi; \ done + $(MAKE) $(AM_MAKEFLAGS) top_distdir="$(top_distdir)" distdir="$(distdir)" dist-info info-am: $(INFO_DEPS) info: info-am |