clarified location of checkout-dumux in handbook

git-svn-id: svn://svn.iws.uni-stuttgart.de/DUMUX/dumux/trunk@13477 2fb0f335-1f38-0410-981e-8018bf24f1b0

doc/handbook/dumux-handbook.bib

@@ -933,6 +933,11 @@
   key = {DUMUX}
 }
 
+@MISC{DUMUX-DOWNLOAD,
+  title = {{DuMuX} download folder: \url{http://www.dumux.org/download/}},
+  key = {DUMUX-DOWNLOAD}
+}
+
 @MISC{DUNE-BS,
   title = {{DUNE} Build System Howto: \url{http://www.dune-project.org/doc/buildsystem/buildsystem.pdf}},
   key = {DUNE-BS}

doc/handbook/quick-install.tex

@@ -8,8 +8,8 @@ instructions in Section \ref{install}.
 
 \subsection{Obtaining the code with the script \texttt{checkout-dumux}}
 
-The shell-script \texttt{checkout-dumux} facilitates setting up a {\Dune}/{\Dumux} directory tree (currently for the trunk version).
-It is contained in the download section of the \Dumux web page \cite{DUMUX-HP}.
+The shell-script \texttt{checkout-dumux} facilitates setting up a {\Dune}/{\Dumux} directory tree.
+It is available at \cite{DUMUX-DOWNLOAD}.
 For example the second line below will check out the required \Dune modules and \texttt{dumux}, 
 \texttt{dumux-devel} and the \texttt{external} folder, which contains some useful external software and libraries.
 Again,  \texttt{joeuser} needs to be replaced by the actual user name.