From 62ad9b217c34726285b207664cfea3d71f709355 Mon Sep 17 00:00:00 2001
From: Karsten Merker <merker@debian.org>
Date: Mon, 19 May 2014 08:59:05 +0000
Subject: installation-guide:

Add location information for the armmp flavor to the "Where to Find
Installation Images" section.
---
 en/hardware/supported/arm.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'en/hardware/supported/arm.xml')

diff --git a/en/hardware/supported/arm.xml b/en/hardware/supported/arm.xml
index 45c0c380f..4ecdc52e0 100644
--- a/en/hardware/supported/arm.xml
+++ b/en/hardware/supported/arm.xml
@@ -152,7 +152,7 @@ which make it unsuitable for the installation of newer &debian; releases.
 
 </sect3>
 
-<sect3 arch="arm"><title>Platforms supported by Debian/armhf</title>
+<sect3 arch="arm" id="armhf-armmp-supported-platforms"><title>Platforms supported by Debian/armhf</title>
 
   <para>
   The following systems are known to work with &debian;/armhf using the
-- 
cgit v1.2.3