diff options
| author | Juergen Kahrs <Juergen.Kahrs@googlemail.com> | 2014-06-24 13:18:33 +0200 |
|---|---|---|
| committer | Juergen Kahrs <Juergen.Kahrs@googlemail.com> | 2014-06-24 13:18:33 +0200 |
| commit | f1245d04a9f076773c60499b468f44ed9c91b59b (patch) | |
| tree | 2b49234400150bfaac7ebf8c017562300edc7471 /doc/Makefile.in | |
| parent | ee9707cc44eea3ca64cb71666ac3e8ed26a3bb7f (diff) | |
| parent | 78ded8ee8f11a321c96417e7d02dac2f5723a221 (diff) | |
| download | egawk-f1245d04a9f076773c60499b468f44ed9c91b59b.tar.gz egawk-f1245d04a9f076773c60499b468f44ed9c91b59b.tar.bz2 egawk-f1245d04a9f076773c60499b468f44ed9c91b59b.zip | |
Merge remote-tracking branch 'origin/master' into cmake
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 52e5f873..abaf5601 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -350,6 +350,8 @@ EXTRA_DIST = ChangeLog ChangeLog.0 README.card ad.block setter.outline \ api-figure2.png api-figure2.txt \ api-figure3.eps api-figure3.fig api-figure3.pdf \ api-figure3.png api-figure3.txt \ + array-elements.eps array-elements.fig array-elements.pdf \ + array-elements.png array-elements.txt \ gawktexi.in sidebar.awk \ general-program.eps general-program.fig general-program.pdf \ general-program.png general-program.txt \ |