diff options
author | Holger Weiss <holger@zedat.fu-berlin.de> | 2014-01-30 17:03:17 (GMT) |
---|---|---|
committer | Holger Weiss <holger@zedat.fu-berlin.de> | 2014-01-30 17:03:17 (GMT) |
commit | ffadaf8c1d6d7d073d119b5ed9e584e85f2cc696 (patch) | |
tree | 292ff8799a7c131e0dff337d921d90831dccc965 /web | |
parent | 25376df699f216a4d6b80dc34b46d1f99e8c84e2 (diff) | |
download | site-ffadaf8c1d6d7d073d119b5ed9e584e85f2cc696.tar.gz |
doc/faq/gnulib.md: Use `backticks` for dir name
Diffstat (limited to 'web')
-rw-r--r-- | web/input/doc/faq/gnulib.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/web/input/doc/faq/gnulib.md b/web/input/doc/faq/gnulib.md index 19b47f2..0ad917d 100644 --- a/web/input/doc/faq/gnulib.md +++ b/web/input/doc/faq/gnulib.md | |||
@@ -6,8 +6,8 @@ parent: FAQ | |||
6 | 6 | ||
7 | [Gnulib][gnulib] provides replacement implementations of functions that are | 7 | [Gnulib][gnulib] provides replacement implementations of functions that are |
8 | not available on all (Unix-like) operating systems. In order to sync with the | 8 | not available on all (Unix-like) operating systems. In order to sync with the |
9 | latest Gnulib code, starting from the directory above your monitoring-plugins | 9 | latest Gnulib code, starting from the directory above your |
10 | repository, do something like: | 10 | `monitoring-plugins` repository, do something like: |
11 | 11 | ||
12 | $ git clone git://git.savannah.gnu.org/gnulib.git | 12 | $ git clone git://git.savannah.gnu.org/gnulib.git |
13 | $ cd gnulib | 13 | $ cd gnulib |