diff options
| author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-05-30 21:55:48 +0200 |
|---|---|---|
| committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-05-30 21:56:15 +0200 |
| commit | 64929e237de3249c5180df62a9bd0c5f62da39af (patch) | |
| tree | b0b0f3d44dcde007a53dc173946b9d2c0c5f5c6f /doc | |
| parent | 7a62a58ef80dc3e2d546b60303d6554a46b01c38 (diff) | |
fix doc compilartion warning
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual.texi b/doc/manual.texi index c4c28d24..9da4582c 100644 --- a/doc/manual.texi +++ b/doc/manual.texi @@ -173,10 +173,10 @@ account information is encapsulated within the Taler backend. @node Installation @menu +* Installing Taler using Docker:: Installing Taler using Docker * generic-instructions:: Generic installation guidelines * Installing Taler on Debian GNU/Linux:: Installing Taler on Debian GNU/Linux @c * Installing Taler with GNU Guix:: Installing Taler with GNU Guix -* Installing Taler using Docker:: Installing Taler using Docker @c * Installing Taler on Arch Linux:: Installing Taler on Arch Linux @c * Installing Taler on Windows:: Installing Taler on Windows @c * Installing Taler on OS X:: Installing Taler on OS X |