summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorMarcello Stanisci <marcello.stanisci@inria.fr>2017-10-17 19:19:14 +0200
committerMarcello Stanisci <marcello.stanisci@inria.fr>2017-10-17 19:19:14 +0200
commiteda7e1c6a04fb6b1f2b93c22fc32962cf4549a92 (patch)
tree7e91431f8a0eda17c7fe9220ce28b98bce100861 /doc
parent272f1135fca8bfd667dccc84f2bd6f31b7d2cc90 (diff)
downloadexchange-eda7e1c6a04fb6b1f2b93c22fc32962cf4549a92.tar.gz
exchange-eda7e1c6a04fb6b1f2b93c22fc32962cf4549a92.tar.bz2
exchange-eda7e1c6a04fb6b1f2b93c22fc32962cf4549a92.zip
missing figure for dist
Diffstat (limited to 'doc')
-rw-r--r--doc/Makefile.am3
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am
index 6788a1c8..fe997cce 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