--- doc/docbase/writing_docs/01_writing_docs.html	2015/04/29 11:20:57	2751
+++ doc/docbase/writing_docs/01_writing_docs.html	2015/04/29 11:30:38	2752
@@ -877,17 +877,17 @@
       two specials tags you can use for this purpose:
     </p>
     <code lang="html">
-      &lt;dir&gt;/
-        &lt;dir&gt;home
-          &lt;dir&gt;bob
-            &lt;file&gt;README.txt&lt;/file&gt;
-            &lt;file&gt;foo.sh&lt;/file&gt;
-          &lt;/dir&gt;
-        &lt;/dir&gt;
-        &lt;dir&gt;tmp
-          &lt;file&gt;bla.tmp&lt;/file&gt;
-        &lt;/dir&gt;
-      &lt;/dir&gt;
+&lt;dir&gt;/
+  &lt;dir&gt;home
+    &lt;dir&gt;bob
+      &lt;file&gt;README.txt&lt;/file&gt;
+      &lt;file&gt;foo.sh&lt;/file&gt;
+    &lt;/dir&gt;
+  &lt;/dir&gt;
+  &lt;dir&gt;tmp
+    &lt;file&gt;bla.tmp&lt;/file&gt;
+  &lt;/dir&gt;
+&lt;/dir&gt;
     </code>
     <example>
       <dir>/