-The official TinyOS installs the source tree at /opt/tinyos-2.x. The TMI
-version installs source trees at /opt/tinyos/VER. For example, the latest TMI
-tree is installed at /opt/tinyos/2.1.0-3. TMI also maintains in its repository
-the last few official source trees. At least one must be installed, and the
-developer may install others as needed. When installing or upgrading TMI
-TinyOS packages via APT, the latest TMI tree package is automatically installed.
-Source the script `/opt/tinyos/tinyos.sh` to set the three you wish to use.
-Source this script from your login profile with no argument to ensure that your
-tree selection is persistent across logins.
+The official TinyOS installs the source tree at `/opt/tinyos-2.x`. The TMI
+version installs source trees at `/opt/tinyos/VER`. For example, the latest
+TMI tree is installed at `/opt/tinyos/2.1.0-3`. TMI also maintains in its
+repository the last few official source trees. At least one must be installed,
+and the developer may install others as needed. When installing or upgrading
+TMI TinyOS packages via APT, the latest TMI tree package is automatically
+installed. Source the script `/opt/tinyos/tinyos.sh` to set the three you wish
+to use. Source this script from your login profile with no argument to ensure
+that your tree selection is persistent across logins.