From 90d26bf9f3f89344b601dd08f421874a74df848a Mon Sep 17 00:00:00 2001
From: Maximilian Naumann <maximilian.naumann@kit.edu>
Date: Fri, 7 Jun 2019 12:16:06 -0700
Subject: [PATCH] Add single quote option to html documentation

---
 docs/manual.html | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/docs/manual.html b/docs/manual.html
index 8620392..c697942 100644
--- a/docs/manual.html
+++ b/docs/manual.html
@@ -3327,6 +3327,9 @@ You should use the usual bitwise arithmetics to manipulate the bitmask: to enabl
 <li>
 <p><a id="format_skip_control_chars"></a><code>format_skip_control_chars</code> enables skipping characters belonging to range [0; 32) instead of "&amp;#xNN;" encoding. This flag is <strong>off</strong> by default.</p>
 </li>
+<li>
+<p><a id="format_attribute_single_quote"></a><code>format_attribute_single_quote</code>  enables using single quotes <code>'</code> instead of double quotes <code>"</code> for enclosing attribute values. This flag is <strong>off</strong> by default.</p>
+</li>
 </ul>
 </div>
 <div class="paragraph">
@@ -5775,4 +5778,4 @@ Last updated 2019-03-09 06:55:22 STD
 </div>
 </div>
 </body>
-</html>
\ No newline at end of file
+</html>