summaryrefslogtreecommitdiff
path: root/en/hardware/supported/arm.xml
diff options
context:
space:
mode:
authorKarsten Merker <merker@debian.org>2014-05-19 08:59:05 +0000
committerKarsten Merker <merker@debian.org>2014-05-19 08:59:05 +0000
commit62ad9b217c34726285b207664cfea3d71f709355 (patch)
tree18e8134d085e98c072643d01b21ece0f181cd166 /en/hardware/supported/arm.xml
parentae4106be164757b0e8f573feca2a94c84c668762 (diff)
downloadinstallation-guide-62ad9b217c34726285b207664cfea3d71f709355.zip
installation-guide:
Add location information for the armmp flavor to the "Where to Find Installation Images" section.
Diffstat (limited to 'en/hardware/supported/arm.xml')
-rw-r--r--en/hardware/supported/arm.xml2
1 files changed, 1 insertions, 1 deletions
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