summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorMarcello Stanisci <marcello.stanisci@inria.fr>2017-05-30 21:55:48 +0200
committerMarcello Stanisci <marcello.stanisci@inria.fr>2017-05-30 21:56:15 +0200
commit64929e237de3249c5180df62a9bd0c5f62da39af (patch)
treeb0b0f3d44dcde007a53dc173946b9d2c0c5f5c6f /doc
parent7a62a58ef80dc3e2d546b60303d6554a46b01c38 (diff)
downloadmerchant-64929e237de3249c5180df62a9bd0c5f62da39af.tar.gz
merchant-64929e237de3249c5180df62a9bd0c5f62da39af.tar.bz2
merchant-64929e237de3249c5180df62a9bd0c5f62da39af.zip
fix doc compilartion warning
Diffstat (limited to 'doc')
-rw-r--r--doc/manual.texi2
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