From eda7e1c6a04fb6b1f2b93c22fc32962cf4549a92 Mon Sep 17 00:00:00 2001
From: Marcello Stanisci <marcello.stanisci@inria.fr>
Date: Tue, 17 Oct 2017 19:19:14 +0200
Subject: [PATCH] missing figure for dist

---
 doc/Makefile.am | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 6788a1c84..fe997ccea 100644
--- 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