diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2019-04-18 20:02:38 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2019-04-18 20:02:38 +0300 |
| commit | e5851c224d9fd7dce31ba06ee58f07f8370bec48 (patch) | |
| tree | 075b7d2e23adcbe02e53a2a09f9925fa2fcbc825 /doc/Makefile.in | |
| parent | eb2b214d7471660ea087ecee5bc684a23c02395d (diff) | |
| download | gawk-e5851c224d9fd7dce31ba06ee58f07f8370bec48.tar.gz | |
Ensure that ChangeLog.1 gets into the distribution.
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 \ |