diff options
| author | Marcello Stanisci <stanisci.m@gmail.com> | 2018-07-25 13:25:12 +0200 |
|---|---|---|
| committer | Marcello Stanisci <stanisci.m@gmail.com> | 2018-07-25 13:25:12 +0200 |
| commit | e6efd98b3b5c6041f3188779af9af0ba42a1a257 (patch) | |
| tree | ddd188f8a523313e637bdd68cfe485e9b5c7e661 /doc/Makefile.am | |
| parent | 9f8b6a6b5de6593122317c5b2e4d94b3895875e9 (diff) | |
Benchmark manpage.
Diffstat (limited to 'doc/Makefile.am')
| -rw-r--r-- | doc/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index cfcbea609..b3c527168 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -14,6 +14,7 @@ man_MANS = \ taler-exchange-keycheck.1 \ taler-exchange-wire.1 \ taler-exchange-wirewatch.1 \ + taler-exchange-benchmark.1 \ taler.conf.5 AM_MAKEINFOHTMLFLAGS = --no-split --css-ref=docstyle.css --css-ref=brown-paper.css |