Merge commit '4422e31'

book/duckumentation/00_book_contribute.md

@@ -3,3 +3,5 @@
 Maintainer: Andrea Censi
 
 This book describes the features of our documentation system and the procedures to update it.
+
+<minitoc/>

book/duckumentation/10_contributing/00_part_contributing.md

@@ -1,3 +1,5 @@
 # Contributing to the documentation {#part:contribute-to-docs status=ready level=part}
 
 This part describes the workflow for contributing to our documentation.
+
+<minitoc/>

book/duckumentation/20_markduck/00_part_markduck.md

@@ -1,3 +1,5 @@
 # Markduck format {#part:markduck status=ready}
 
 This part describes the Markdown dialect that is used in the documentation.
+
+<minitoc/>

book/duckumentation/20_markduck/65_docs_features.md

@@ -453,6 +453,9 @@ to link to only the name, only the number or both ([](#tab:link-examples)).
 }
 </style>
 
+
+<!--
+
 ### Linking to the documentation from outside the documentation
 
 You are encouraged to put links to the documentation from the code or scripts.
@@ -472,6 +475,8 @@ For example, you might have a script whose output is:
 
 When the user clicks on the link, they will be redirected to the topic called "scuderia".
 
+-->
+
 ## Comments
 
 You can insert comments using the HTML syntax for comments:

book/duckumentation/30_style_guide/76_style_guide.md

@@ -105,6 +105,23 @@ If the command is supposed to be run on both, omit the hostname:
 
     $ cd ~/duckietown
 
+For a container:
+
+    container $ echo container
+
+For a container on a Duckiebot:
+
+    duckiebot-container $ echo container
+
+For a container on the laptop:
+
+    laptop-container $ echo container
+
+For a container on a traffic light:
+
+    trafficlight-container $ echo container
+
+
 ## Frequently misspelled words
 
 - "Duckiebot" is always capitalized.