terminal.rst
changeset 1835 54a86a023f1b
parent 1334 9bf0d5a1f0cf
child 1905 fba288d59662
--- a/terminal.rst	Sat Dec 19 15:33:28 2015 +0200
+++ b/terminal.rst	Sat Dec 19 17:49:22 2015 +0200
@@ -80,7 +80,7 @@
 Capture terminal session.
 =========================
 
-Use *script* utility::
+Use ``script`` utility::
 
   $ script out.file
   sh# ....