[dasher: 212/217] Updated the installation paragraph to make it more clear on how to proceed.

[Patrick Welche <pwelche src gnome org>]

commit 7ecffd05328e6032d9d1c6f7d357dcccc1571c4b
Author: Cagdas <cagdasgerede users noreply github com>
Date:   Mon Feb 15 17:35:25 2016 +0200

    Updated the installation paragraph to make it more clear on how to proceed.

 INSTALL.Linux |   23 ++++++++++++-----------
 1 files changed, 12 insertions(+), 11 deletions(-)
---
diff --git a/INSTALL.Linux b/INSTALL.Linux
index 90a8ed6..5fe712e 100644
--- a/INSTALL.Linux
+++ b/INSTALL.Linux
@@ -26,17 +26,10 @@ Then autogen:
 
   ./autogen.sh
 
-Now you can use "configure" as described in the "INSTALL" file.  The
-following configure-time options are specific to Dasher (see section
-"`configure' Invocation" in the "INSTALL" file):
-
-Desktop Shortcuts
-=================
-After the installation is done, for Ubuntu and derivatives
-(e.g., Goobuntu), you can create desktop shortcuts starting Dasher in
-different profiles by running:
-
-  ./create-linux-desktop-shortcuts.sh
+After this, follow "Basic Installation" section in the "INSTALL" file.
+For the "configure" step, the following configure-time options are
+also available (see also the section "`configure' Invocation" in
+the "INSTALL" file):
 
 Options
 =======
@@ -77,3 +70,11 @@ you see
 try adding the directory which contains "dasher.gschema.xml",
 usually ${prefix}/share/glib-2.0/schemas, to the environment variable
 GSETTINGS_SCHEMA_DIR.
+
+Desktop Shortcuts
+=================
+After the installation is done, for Ubuntu and derivatives
+(e.g., Goobuntu), you can create desktop shortcuts starting Dasher in
+different profiles by running:
+
+  ./create-linux-desktop-shortcuts.sh