From c1c889b9d778392e180a8aedc760a4c4d04f20fe Mon Sep 17 00:00:00 2001
From: ReneSac <reneduani@yahoo.com.br>
Date: Mon, 21 Apr 2014 12:38:10 -0300
Subject: [PATCH] Rearrangements on the webpage's docs tab.

---
 doc/docs.txt | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/doc/docs.txt b/doc/docs.txt
index 2162d65647..8126da86c7 100644
--- a/doc/docs.txt
+++ b/doc/docs.txt
@@ -6,19 +6,19 @@ The documentation consists of several documents:
 - | `Tutorial (part II) <tut2.html>`_
   | The Nimrod tutorial part two deals with the advanced language constructs.
 
+- | `Language Manual <manual.html>`_
+  | The Nimrod manual is a draft that will evolve into a proper specification.
+
 - | `Library documentation <lib.html>`_
   | This document describes Nimrod's standard library.
 
-- | `User guide <nimrodc.html>`_
+- | `Compiler user guide <nimrodc.html>`_
   | The user guide lists command line arguments, special features of the
     compiler, etc.
 
 - | `Tools documentation <tools.html>`_
   | Description of some tools that come with the standard distribution.
 
-- | `Manual <manual.html>`_
-  | The Nimrod manual is a draft that will evolve into a proper specification.
-
 - | `GC <gc.html>`_
   | Additional documentation about Nimrod's GC and how to operate it in a
   | realtime setting.