diff options
author | Ben Elliston <bje@gnu.org> | 2018-12-03 17:15:23 +1100 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2018-12-03 17:15:23 +1100 |
commit | 39f49df96ab6eaa8106f5a5675ccf4fb05f8c158 (patch) | |
tree | 6b1ef3612ffa20e262e4b6e25ccb06bbab3234c3 /Makefile.am | |
parent | dc3f6035520ecf78338def2b0b07139a64b2b219 (diff) | |
download | dejagnu-39f49df96ab6eaa8106f5a5675ccf4fb05f8c158.zip dejagnu-39f49df96ab6eaa8106f5a5675ccf4fb05f8c158.tar.gz dejagnu-39f49df96ab6eaa8106f5a5675ccf4fb05f8c158.tar.bz2 |
* Makefile.am (TEXINFO_TEX): Set to doc/texinfo.tex.
(EXTRA_DIST): Add doc/texinfo.tex. Setting TEXINFO_TEX otherwise
prevents the distribution of the overridden texinfo.tex.
* Makefile.in: Regenerate.
* texinfo.tex: Move from here ..
* doc/texinfo.tex: .. to here.
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index cd69e74..23f5e42 100644 --- a/Makefile.am +++ b/Makefile.am @@ -21,7 +21,7 @@ AUTOMAKE_OPTIONS = dejagnu export DEJAGNU -EXTRA_DIST = ChangeLog-1992 MAINTAINERS runtest \ +EXTRA_DIST = ChangeLog-1992 MAINTAINERS doc/texinfo.tex runtest \ $(pkgdata_DATA) $(config_DATA) $(baseboard_DATA) \ $(TESTSUITE_FILES) $(XML) $(CONTRIB) @@ -176,5 +176,6 @@ unit_SOURCES = testsuite/libdejagnu/unit.cc # Documentation. +TEXINFO_TEX = doc/texinfo.tex dist_man_MANS = doc/runtest.1 info_TEXINFOS = doc/dejagnu.texi |