diff options
| author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-10-17 19:19:14 +0200 |
|---|---|---|
| committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-10-17 19:19:14 +0200 |
| commit | eda7e1c6a04fb6b1f2b93c22fc32962cf4549a92 (patch) | |
| tree | 7e91431f8a0eda17c7fe9220ce28b98bce100861 /doc/Makefile.am | |
| parent | 272f1135fca8bfd667dccc84f2bd6f31b7d2cc90 (diff) | |
missing figure for dist
Diffstat (limited to 'doc/Makefile.am')
| -rw-r--r-- | doc/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
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 |