diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2023-03-09 21:27:05 +0200 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2023-03-09 21:27:05 +0200 |
| commit | e18d555f229929206dd35b5650f4356e684b8705 (patch) | |
| tree | 26214f028775a6e4391c03fcf313c13689fe6bd2 /doc | |
| parent | 7d034f0a149a972b83aa2a6f1ad8b946721c5b27 (diff) | |
| parent | 47b753cb76e3d77ac5b34d0c38c37cbd8cb8ba17 (diff) | |
| download | gawk-e18d555f229929206dd35b5650f4356e684b8705.tar.gz | |
Merge branch 'gawk-5.2-stable'
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ChangeLog | 4 | ||||
| -rw-r--r-- | doc/Makefile.am | 7 | ||||
| -rw-r--r-- | doc/Makefile.in | 7 |
3 files changed, 12 insertions, 6 deletions
diff --git a/doc/ChangeLog b/doc/ChangeLog index 26357a03..3df4953d 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -7,6 +7,10 @@ Collado for the suggestion. (New feature development): Fix the text of a command. + Unrelated: + + * Makefile.am: Adjust things to get 'make distcheck' to pass. + 2023-03-09 Manuel Collado <mcollado2011@gmail.com> * gawktexi.in, gawkinet.texi, *.{png,jpg,eps,pdf,txt,fig}: rename diff --git a/doc/Makefile.am b/doc/Makefile.am index ba04c8c8..47f36e05 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -34,14 +34,15 @@ png_images = gawk_api-figure1.png gawk_api-figure2.png gawk_api-figure3.png \ html_images = $(png_images) gawk_statist.jpg fig_images = $(png_images:%.png=%.fig) -txt_images = $(png_images:%.png=%.txt) statist.txt -eps_images = $(txt_images:%.txt=%.eps) -pdf_images = $(txt_images:%.txt=%.pdf) +txt_images = $(png_images:%.png=%.txt) gawk_statist.txt +eps_images = $(txt_images:%.txt=%.eps) gawk_statist.eps +pdf_images = $(txt_images:%.txt=%.pdf) gawk_statist.pdf EXTRA_DIST = ChangeLog ChangeLog.0 ChangeLog.1 \ README.card ad.block setter.outline \ awkcard.in awkforai.txt texinfo.tex cardfonts \ $(fig_images) $(txt_images) $(eps_images) $(pdf_images) \ + $(html_images) \ gawktexi.in sidebar.awk \ it \ macros colors no.colors $(man_MANS) \ diff --git a/doc/Makefile.in b/doc/Makefile.in index 47a1413b..edbbca33 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -372,13 +372,14 @@ png_images = gawk_api-figure1.png gawk_api-figure2.png gawk_api-figure3.png \ html_images = $(png_images) gawk_statist.jpg fig_images = $(png_images:%.png=%.fig) -txt_images = $(png_images:%.png=%.txt) statist.txt -eps_images = $(txt_images:%.txt=%.eps) -pdf_images = $(txt_images:%.txt=%.pdf) +txt_images = $(png_images:%.png=%.txt) gawk_statist.txt +eps_images = $(txt_images:%.txt=%.eps) gawk_statist.eps +pdf_images = $(txt_images:%.txt=%.pdf) gawk_statist.pdf EXTRA_DIST = ChangeLog ChangeLog.0 ChangeLog.1 \ README.card ad.block setter.outline \ awkcard.in awkforai.txt texinfo.tex cardfonts \ $(fig_images) $(txt_images) $(eps_images) $(pdf_images) \ + $(html_images) \ gawktexi.in sidebar.awk \ it \ macros colors no.colors $(man_MANS) \ |