diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2019-04-21 15:04:14 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2019-04-21 15:04:14 +0300 |
| commit | dfb4f3b18cc0490cf1db9dad021fce62a99443b5 (patch) | |
| tree | 73521ae6691edc38c503a20725135a7a7ac95d93 /doc/Makefile.in | |
| parent | 3ee06fa46236117ccb00fe4e832e7a7e4694f7f8 (diff) | |
| parent | 847657fa4ec580658371d6fcaea547f7769fb569 (diff) | |
| download | egawk-dfb4f3b18cc0490cf1db9dad021fce62a99443b5.tar.gz egawk-dfb4f3b18cc0490cf1db9dad021fce62a99443b5.tar.bz2 egawk-dfb4f3b18cc0490cf1db9dad021fce62a99443b5.zip | |
Merge branch 'gawk-5.0-stable'
Diffstat (limited to 'doc/Makefile.in')
| -rw-r--r-- | doc/Makefile.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index 7fd6603d..9bce117d 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -357,7 +357,8 @@ top_builddir = @top_builddir@ top_srcdir = @top_srcdir@ info_TEXINFOS = gawk.texi gawkinet.texi gawkworkflow.texi man_MANS = gawk.1 -EXTRA_DIST = ChangeLog ChangeLog.0 README.card ad.block setter.outline \ +EXTRA_DIST = ChangeLog ChangeLog.0 ChangeLog.1 \ + README.card ad.block setter.outline \ awkcard.in awkforai.txt texinfo.tex cardfonts \ api-figure1.eps api-figure1.fig api-figure1.pdf \ api-figure1.png api-figure1.txt \ |