diff options
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r-- | doc/Makefile.am | 12 |
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) |