diff -r ddb5e8f2a43d -r 3070d72f54af docs/html/info.html
--- a/docs/html/info.html	Sat Aug 05 11:33:17 2017 +0200
+++ b/docs/html/info.html	Sat Aug 05 13:35:27 2017 +0200
@@ -66,9 +66,9 @@
 <div class="content">
 <h1 id="dav-info">dav info</h1>
 <p><strong><code>info [-pc] &lt;url&gt;</code></strong></p>
-<p>Prints some information and lists all properties for the resource specified by url.</p>
+<p>Prints some information and lists all properties for the resource specified by <em>url</em>.</p>
 <h3 id="example-1-info-of-a-collection">Example 1: info of a collection</h3>
-<p>In this example <em>myserv</em> is a configured repository with the base url <em>https://example.com/webdav/</em>. Because <em>col</em> is not encrypted, the <em>url</em> is just the <em>path</em> appended to base url.</p>
+<p>In this example <em>myserv</em> is a configured repository with the base url <em>https://example.com/webdav/</em>. Because the collection is not encrypted, the <em>url</em> in the info output is just the <em>path</em> appended to the base url.</p>
 <pre><code>$ dav info myserv/col/
 name: col
 path: /col
@@ -82,7 +82,7 @@
   getlastmodified: Wed, 14 Jun 2017 09:32:43 GMT
   supportedlock:</code></pre>
 <h3 id="example-2-encrypted-resource">Example 2: encrypted resource</h3>
-<p>With encrypted resources, the <em>path</em> and <em>url</em> are different. The real resource name is random, but the name used by <em>dav</em> is stored in the <em>crypto-name</em> property.</p>
+<p>With encrypted resources, the <em>url</em> in the info output looks different. The real resource name may be disguised, but the name used by <em>dav</em> is stored encrypted and base64 encoded in the <em>crypto-name</em> property. Read the <a href="./encryption.html">encryption</a> documentation to learn more about the davutils encryption feature.</p>
 <pre><code>$ dav info -c myserv/crres
 name: crres
 path: /crres