From 436af88d8c436265c751bbbc0d76ef42aab0cdf0 Mon Sep 17 00:00:00 2001
From: Andrey Makarov <ph.makarov@gmail.com>
Date: Thu, 6 May 2021 11:58:01 +0300
Subject: follow-up #17837: add `Console` for interactive sessions (#17930)

* follow-up #17837: add `Console` for interactive sessions

* fix Latex
---
 doc/drnim.rst | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'doc/drnim.rst')

diff --git a/doc/drnim.rst b/doc/drnim.rst
index d33a6066e..08de7cd6d 100644
--- a/doc/drnim.rst
+++ b/doc/drnim.rst
@@ -1,5 +1,3 @@
-.. default-role:: code
-
 ===================================
    DrNim User Guide
 ===================================
@@ -7,6 +5,8 @@
 :Author: Andreas Rumpf
 :Version: |nimversion|
 
+.. include:: rstcommon.rst
+.. default-role:: Nim
 .. contents::
 
 
@@ -43,7 +43,8 @@ your code.
 Installation
 ============
 
-Run `koch drnim`, the executable will afterwards be in `$nim/bin/drnim`.
+Run `koch drnim`:option:, the executable will afterwards be
+in ``$nim/bin/drnim``.
 
 
 Motivating Example
-- 
cgit 1.4.1-2-gfad0