diff -r c3d98b2cccf3 -r 4a1596b45ff2 docs/html/configuration.html
--- a/docs/html/configuration.html	Mon Sep 11 17:55:37 2017 +0200
+++ b/docs/html/configuration.html	Sun Sep 17 11:11:12 2017 +0200
@@ -97,7 +97,7 @@
 <p>If this element has the value of true, content and resource name encryption/decryption is enabled. Resources are only encrypted if the repository has a default-key or a key is specified via command line option. Because encryption and decryption is disabled by default, <code>false</code> has no effect for this element.</p>
 <p>Type: boolean<br />
 Default: false<br />
-Example: `<full-encryption>true</full-encryption></p>
+Example: <code>&lt;full-encryption&gt;true&lt;/full-encryption&gt;</code></p>
 <h3 id="content-encryption">content-encryption</h3>
 <p>This element enables only content encryption and decryption. A value of <code>false</code> disables content encryption, but it does not disables content decryption, if this is enabled with <code>&lt;decrypt-content&gt;</code>.</p>
 <p>Type: boolean<br />