[gui] Fix icon installation

share/dune

@@ -2,6 +2,55 @@
  (package frama-c)
  (section (site (frama-c share)))
  (files
+; GUI Images
+(frama-c.ico as frama-c.ico)
+(frama-c.png as frama-c.png)
+(unmark.png as unmark.png)
+(switch-on.png as switch-on.png)
+(switch-off.png as switch-off.png)
+; Default theme
+(theme/default/never_tried.png as theme/default/never_tried.png)
+(theme/default/unknown.png as theme/default/unknown.png)
+(theme/default/surely_valid.png as theme/default/surely_valid.png)
+(theme/default/surely_invalid.png as theme/default/surely_invalid.png)
+(theme/default/considered_valid.png as theme/default/considered_valid.png)
+(theme/default/valid_under_hyp.png as theme/default/valid_under_hyp.png)
+(theme/default/invalid_under_hyp.png as theme/default/invalid_under_hyp.png)
+(theme/default/invalid_but_dead.png as theme/default/invalid_but_dead.png)
+(theme/default/unknown_but_dead.png as theme/default/unknown_but_dead.png)
+(theme/default/valid_but_dead.png as theme/default/valid_but_dead.png)
+(theme/default/inconsistent.png as theme/default/inconsistent.png)
+(theme/default/fold.png as theme/default/fold.png)
+(theme/default/unfold.png as theme/default/unfold.png)
+; Colorblind theme
+(theme/colorblind/never_tried.png as theme/colorblind/never_tried.png)
+(theme/colorblind/unknown.png as theme/colorblind/unknown.png)
+(theme/colorblind/surely_valid.png as theme/colorblind/surely_valid.png)
+(theme/colorblind/surely_invalid.png as theme/colorblind/surely_invalid.png)
+(theme/colorblind/considered_valid.png as theme/colorblind/considered_valid.png)
+(theme/colorblind/valid_under_hyp.png as theme/colorblind/valid_under_hyp.png)
+(theme/colorblind/invalid_under_hyp.png as theme/colorblind/invalid_under_hyp.png)
+(theme/colorblind/invalid_but_dead.png as theme/colorblind/invalid_but_dead.png)
+(theme/colorblind/unknown_but_dead.png as theme/colorblind/unknown_but_dead.png)
+(theme/colorblind/valid_but_dead.png as theme/colorblind/valid_but_dead.png)
+(theme/colorblind/inconsistent.png as theme/colorblind/inconsistent.png)
+(theme/colorblind/fold.png as theme/colorblind/fold.png)
+(theme/colorblind/unfold.png as theme/colorblind/unfold.png)
+; Flat theme
+(theme/flat/never_tried.png as theme/flat/never_tried.png)
+(theme/flat/unknown.png as theme/flat/unknown.png)
+(theme/flat/surely_valid.png as theme/flat/surely_valid.png)
+(theme/flat/surely_invalid.png as theme/flat/surely_invalid.png)
+(theme/flat/considered_valid.png as theme/flat/considered_valid.png)
+(theme/flat/valid_under_hyp.png as theme/flat/valid_under_hyp.png)
+(theme/flat/invalid_under_hyp.png as theme/flat/invalid_under_hyp.png)
+(theme/flat/invalid_but_dead.png as theme/flat/invalid_but_dead.png)
+(theme/flat/unknown_but_dead.png as theme/flat/unknown_but_dead.png)
+(theme/flat/valid_but_dead.png as theme/flat/valid_but_dead.png)
+(theme/flat/inconsistent.png as theme/flat/inconsistent.png)
+(theme/flat/fold.png as theme/flat/fold.png)
+(theme/flat/unfold.png as theme/flat/unfold.png)
+; Libc
 (libc/__fc_define_uid_and_gid.h as libc/__fc_define_uid_and_gid.h)
 (libc/__fc_define_clockid_t.h as libc/__fc_define_clockid_t.h)
 (libc/assert.c as libc/assert.c)
@@ -159,6 +208,7 @@
 (libc/__fc_define_stat.h as libc/__fc_define_stat.h)
 (libc/errno.c as libc/errno.c)
 (libc/__fc_builtin.h as libc/__fc_builtin.h)
+; Analysis scripts
 (analysis-scripts/analysis.mk as analysis-scripts/analysis.mk)
 (analysis-scripts/benchmark_database.py as analysis-scripts/benchmark_database.py)
 (analysis-scripts/benchmark.sh as analysis-scripts/benchmark.sh)
@@ -186,6 +236,7 @@
 (analysis-scripts/results_display.py as analysis-scripts/results_display.py)
 (analysis-scripts/summary.py as analysis-scripts/summary.py)
 (analysis-scripts/template.mk as analysis-scripts/template.mk)
+; Compliance
 (compliance/c11_functions.json as compliance/c11_functions.json)
 (compliance/c11_headers.json as compliance/c11_headers.json)
 (compliance/glibc_functions.json as compliance/glibc_functions.json)