merchant

commit 64929e237de3249c5180df62a9bd0c5f62da39af
parent 7a62a58ef80dc3e2d546b60303d6554a46b01c38
Author: Marcello Stanisci <marcello.stanisci@inria.fr>
Date:   Tue, 30 May 2017 21:55:48 +0200

fix doc compilartion warning

Diffstat:
M
doc/manual.texi
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git 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