commit eda7e1c6a04fb6b1f2b93c22fc32962cf4549a92 parent 272f1135fca8bfd667dccc84f2bd6f31b7d2cc90 Author: Marcello Stanisci <marcello.stanisci@inria.fr> Date: Tue, 17 Oct 2017 19:19:14 +0200 missing figure for dist Diffstat:
| M | doc/Makefile.am | | | 3 | ++- |
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/doc/Makefile.am b/doc/Makefile.am @@ -33,5 +33,6 @@ EXTRA_DIST = \ $(man_MANS) \ $(extra_TEXINFOS) \ docstyle.css \ - brown-paper.css + brown-paper.css \ + exchange-db.png