From ffadaf8c1d6d7d073d119b5ed9e584e85f2cc696 Mon Sep 17 00:00:00 2001
From: Holger Weiss <holger@zedat.fu-berlin.de>
Date: Thu, 30 Jan 2014 18:03:17 +0100
Subject: doc/faq/gnulib.md: Use `backticks` for dir name


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
 
 [Gnulib][gnulib] provides replacement implementations of functions that are
 not available on all (Unix-like) operating systems.  In order to sync with the
-latest Gnulib code, starting from the directory above your monitoring-plugins
-repository, do something like:
+latest Gnulib code, starting from the directory above your
+`monitoring-plugins` repository, do something like:
 
     $ git clone git://git.savannah.gnu.org/gnulib.git
     $ cd gnulib
-- 
cgit v0.10-9-g596f