From 445d652916b4ffe337b2d1c7bfd2df70b925f486 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Fri, 25 Jul 2014 13:35:12 +0200
Subject: [PATCH] doc: Fix typo in USB image file name.

* doc/guix.texi (System Installation): Change image file name.
---
 doc/guix.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/guix.texi b/doc/guix.texi
index cef2aba9a8..b1c0a4961c 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -2783,7 +2783,7 @@ its device name.  Assuming that USB stick is known as @file{/dev/sdX},
 copy the image with:
 
 @example
-dd if=gnu-usb-install-20140629.x86_64 of=/dev/sdX
+dd if=gnu-usb-install-@value{VERSION}.x86_64 of=/dev/sdX
 @end example
 
 Access to @file{/dev/sdX} usually requires root privileges.