diff options
| author | Pierre GRANDIN <pgrandin@users.noreply.github.com> | 2019-06-05 14:23:35 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-05 14:23:35 -0600 |
| commit | b8cf4d366bb1f20e9ac2bf29abb1d23b5984f28e (patch) | |
| tree | ac9f9ba43935c7843184e5abd105e64bca5518f5 | |
| parent | 42c195082ef05f9ef21e7abdd395c5f5a60879a2 (diff) | |
| download | navit-b8cf4d366bb1f20e9ac2bf29abb1d23b5984f28e.tar.gz | |
Update docs/configuration/display.rst
Co-Authored-By: Joseph Herlant <aerostitch@users.noreply.github.com>
| -rw-r--r-- | docs/configuration/display.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/configuration/display.rst b/docs/configuration/display.rst index fd5b75147..769837dc1 100644 --- a/docs/configuration/display.rst +++ b/docs/configuration/display.rst @@ -33,7 +33,7 @@ They can be activated and configured as following: <graphics type="gtk_drawing_area"/> -As mentioned, it's usually best to leave this as whatever the default is within your <tt>navit.xml</tt>, and only mess around with it if you know what you are doing, or have been told to by one of the developers. +As mentioned, it's usually best to leave this as whatever the default is within your :xml:`navit.xml`, and only mess around with it if you know what you are doing, or have been told to by one of the developers. Graphical User Interface ------------------------ |