diff options
| author | Ben Elliston <bje@gnu.org> | 2018-12-03 18:03:25 +1100 |
|---|---|---|
| committer | Ben Elliston <bje@gnu.org> | 2018-12-03 18:03:25 +1100 |
| commit | 3f8f795d51f8f75aa4d4b1b9ada2cc4309806cc2 (patch) | |
| tree | 3a34939e457e8ec1c900b486b60c33f962416509 /Makefile.in | |
| parent | 39f49df96ab6eaa8106f5a5675ccf4fb05f8c158 (diff) | |
* Makefile.am (EXTRA_DIST): Use $(TEXINFO_TEX), not a hardcoded
doc/texinfo.tex. With thanks to Jacob Bachmeyer.
* Makefile.in: Regenerate.
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index 901afc2..63a5872 100644 --- a/Makefile.in +++ b/Makefile.in @@ -373,9 +373,9 @@ top_build_prefix = @top_build_prefix@ top_builddir = @top_builddir@ top_srcdir = @top_srcdir@ AUTOMAKE_OPTIONS = dejagnu -EXTRA_DIST = ChangeLog-1992 MAINTAINERS doc/texinfo.tex runtest \ +EXTRA_DIST = ChangeLog-1992 MAINTAINERS runtest \ $(pkgdata_DATA) $(config_DATA) $(baseboard_DATA) \ - $(TESTSUITE_FILES) $(XML) $(CONTRIB) + $(TESTSUITE_FILES) $(XML) $(CONTRIB) $(TEXINFO_TEX) DISTCLEANFILES = xXx.log xXx.sum x.log x.sum testrun.log \ testrun.sum testrun.xml |