From e72faf3d7f97d35dd385d56f8a9deb8d02e05cb5 Mon Sep 17 00:00:00 2001
From: "Dr. Nandor Tamaskovics" <numericalfreedom@googlemail.com>
Date: Sun, 21 Jan 2018 20:55:04 +0100
Subject: [PATCH] Added double quotes to a word in Section_tools.txt file in
 order to activate Sphinx hyperlink.

---
 doc/src/Section_tools.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/src/Section_tools.txt b/doc/src/Section_tools.txt
index 9a1968762a..c5ddfbf80a 100644
--- a/doc/src/Section_tools.txt
+++ b/doc/src/Section_tools.txt
@@ -177,7 +177,7 @@ doxygen tool :h4,link(doxygen)
 
 The tools/doxygen directory contains a shell script called
 doxygen.sh which can generate a call graph and API lists using
-the Doxygen_http://doxygen.org software.
+the "Doxygen"_http://doxygen.org software.
 
 See the included README file for details.