1 files changed, 11 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am
index f55160993..7e9401a09 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -15,6 +15,16 @@ man_MANS = \
   taler-exchange-wire.1 \
   taler.conf.5
 
+DISTCLEANFILES = \
+  taler-exchange.cps \
+  taler-exchange.dvi
+
+info_TEXINFOS = \
+  taler-exchange.texi
+extra_TEXINFOS = \
+  fdl-1.3.texi \
+  agpl.texi
 EXTRA_DIST = \
   coding-style.txt \
-  ${man_MANS}
+  $(man_MANS) \
+  $(extra_TEXINFOS)