diff options
| author | Florian Dold <florian.dold@gmail.com> | 2017-06-16 03:20:02 +0200 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2017-06-16 03:21:09 +0200 |
| commit | 7f9e6272fd0e16d060da432c3a9b67c49465470e (patch) | |
| tree | 7983d22b12fced6392bff6246a2c428951e01dc5 /doc/Makefile.am | |
| parent | 0e6c4ba898b0f4c7e53b02a65f99cc4b6b066ad7 (diff) | |
Styling, no-split and syntax highlighting for texi
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) \ |