diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2019-07-30 20:42:48 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2019-07-30 20:42:48 +0200 |
| commit | 3cb1ced0648d0a7f125d5afe8676672cd2409223 (patch) | |
| tree | f9667964a8cfcd083fea67d2facaa9d86f7a9be6 /doc/Makefile.in | |
| parent | 356c6c1ece53a943e5e8caed553629619b822b5e (diff) | |
| parent | bbabe4828adecbc083bb43da1c5e57d0cb0a22a6 (diff) | |
Update upstream source from tag 'upstream/11.7.2'
Update to upstream version '11.7.2'
with Debian dir 4dd6c2b7c0c3f2367bccbac94bce21356a10bf8a
Diffstat (limited to 'doc/Makefile.in')
| -rw-r--r-- | doc/Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index 59e9ccd..a64b0cc 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -315,9 +315,9 @@ $(srcdir)/Makefile.in: $(srcdir)/Makefile.am $(am__configure_deps) exit 1;; \ esac; \ done; \ - echo ' cd $(top_srcdir) && $(AUTOMAKE) --gnu doc/Makefile'; \ + echo ' cd $(top_srcdir) && $(AUTOMAKE) --foreign doc/Makefile'; \ $(am__cd) $(top_srcdir) && \ - $(AUTOMAKE) --gnu doc/Makefile + $(AUTOMAKE) --foreign doc/Makefile Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status @case '$?' in \ *config.status*) \ |