diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/it/images/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/it/images/Makefile.am b/doc/it/images/Makefile.am index 1e10d49b..38f860de 100644 --- a/doc/it/images/Makefile.am +++ b/doc/it/images/Makefile.am @@ -4,7 +4,7 @@ EXTRA_DIST=become-root-snapshot.png broken-snapshot.png \ limit-result-snapshot.png limit-snapshot.png menu-snapshot.png \ mine-snapshot2.png mine-snapshot3.png mine-snapshot4.png \ mine-snapshot5.png mine-snapshot.png preview-snapshot.png \ - safety-cost-level-diagram.png search-snapshot.png \ + search-snapshot.png \ solution-explanation-snapshot.png solution-reject-and-approve-snapshot.png \ solution-screen-snapshot2.png solution-screen-snapshot3.png \ solution-screen-snapshot4.png solution-screen-snapshot5.png \ |