From 200206d16c70f48778bb670ed36c7e587f79c38d Mon Sep 17 00:00:00 2001
From: "Dr. Martin Goik" <goik@hdm-stuttgart.de>
Date: Fri, 26 Oct 2018 07:10:45 +0200
Subject: [PATCH] tooling link

---
 Doc/Sda1/prerequisites.xml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Doc/Sda1/prerequisites.xml b/Doc/Sda1/prerequisites.xml
index 8dbcb678e..79c010aa4 100644
--- a/Doc/Sda1/prerequisites.xml
+++ b/Doc/Sda1/prerequisites.xml
@@ -123,7 +123,7 @@
     </figure>
   </section>
 
-  <section xml:id="tools">
+  <section xml:id="sda1_sect_tools">
     <title>Tools</title>
 
     <para>The subsequent sections describe tools being helpful to successfully
@@ -342,8 +342,8 @@ lrwxrwxrwx 1 ... 2011 <emphasis role="red">mysql-connector-java.jar</emphasis> -
 lrwxrwxrwx 1 ... 2011 <emphasis role="red">mysql.jar</emphasis> -&gt; mysql-connector-java.jar</screen>
       </figure>
 
-      <para> A second approach works by adding the following dependency to
-      your Maven project:</para>
+      <para>A second approach works by adding the following dependency to your
+      Maven project:</para>
 
       <figure xml:id="sda1_fig_mysqlDriverByMaven">
         <title>Installing <xref linkend="glo_Soft_Mysql"/> driver using <xref
-- 
GitLab