[FFmpeg-devel] [PATCH 13/13] documentation: group platform documentation together with general documentation

[Clément Bœsch]

From: Diego Biurrun <diego at biurrun.de>

---
 src/documentation |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/src/documentation b/src/documentation
index f8228b8..5663030 100644
--- a/src/documentation
+++ b/src/documentation
@@ -12,6 +12,7 @@ developers will be able to better diagnose the problem if you follow
 <li><a href="general.html">General Documentation</a></li>
 <ul>
     <li><a href="faq.html">Frequently Asked Questions</a></li>
+    <li><a href="platform.html">Platform-Specific Issues</a></li>
 </ul>
 <li><a href="developer.html">Developer Documentation</a></li>
 <li><a href="http://ffmpeg.zeranoe.com/">FFmpeg Windows Help</a>
@@ -19,7 +20,6 @@ discusses all issues regarding FFmpeg under Windows including a wiki
 and help forums.</li>
 <li><a href="http://wiki.multimedia.cx/">MultimediaWiki</a></li>
 <ul>
-    <li><a href="platform.html">Platform Specific Support</a></li>
     <li><a href="git-howto.html">Git Tutorial</a></li>
     <li><a href="fate.html">FATE Automated Testing Environment</a></li>
 </ul>
-- 
1.7.8.3