diff options
Diffstat (limited to 'doc/Makefile.in')
| -rw-r--r-- | doc/Makefile.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index d37394e7..3eb2e53b 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -244,6 +244,8 @@ info_TEXINFOS = gawk.texi gawkinet.texi man_MANS = gawk.1 igawk.1 EXTRA_DIST = ChangeLog README.card ad.block setter.outline \ awkcard.in awkforai.txt texinfo.tex cardfonts \ + general-program.eps general-program.fig general-program.pdf \ + process-flow.eps process-flow.fig process-flow.pdf \ macros colors no.colors $(man_MANS) \ lflashlight.eps rflashlight.eps \ lflashlight.pdf rflashlight.pdf \ |