diff options
Diffstat (limited to 'doc/Makefile.am')
| -rw-r--r-- | doc/Makefile.am | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index f8d04db6c..f8c874193 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -16,6 +16,8 @@ man_MANS = \ taler-exchange-wirewatch.1 \ taler.conf.5 +AM_MAKEINFOHTMLFLAGS = --no-split --css-ref=docstyle.css --css-ref=brown-paper.css + DISTCLEANFILES = \ taler-exchange.cps \ taler-exchange.dvi @@ -24,7 +26,8 @@ info_TEXINFOS = \ taler-exchange.texi extra_TEXINFOS = \ fdl-1.3.texi \ - agpl.texi + agpl.texi \ + syntax.texi EXTRA_DIST = \ coding-style.txt \ $(man_MANS) \ |