summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHolger Weiss <holger@zedat.fu-berlin.de>2014-01-30 17:05:09 (GMT)
committerHolger Weiss <holger@zedat.fu-berlin.de>2014-01-30 17:05:09 (GMT)
commit99f39f12e1c69c9a3b20a7becbdec58d5bfd8981 (patch)
tree6e12904e1a51b2b5c4f5704da8adc057a330f65a
parentffadaf8c1d6d7d073d119b5ed9e584e85f2cc696 (diff)
downloadsite-99f39f12e1c69c9a3b20a7becbdec58d5bfd8981.tar.gz
doc/faq/gnulib.md: Cosmetic changes
-rw-r--r--web/input/doc/faq/gnulib.md4
1 files changed, 2 insertions, 2 deletions
diff --git a/web/input/doc/faq/gnulib.md b/web/input/doc/faq/gnulib.md
index 0ad917d..9228bd5 100644
--- a/web/input/doc/faq/gnulib.md
+++ b/web/input/doc/faq/gnulib.md
@@ -24,8 +24,8 @@ provide that function), the [corresponding module][modules] must be imported
24using `gnulib-tool`, e.g. (in order to add the `strcase` module): 24using `gnulib-tool`, e.g. (in order to add the `strcase` module):
25 25
26 $ cd monitoring-plugins 26 $ cd monitoring-plugins
27 $ git log --oneline|grep 'Sync with the latest Gnulib code'|head 27 $ git log -1 --format='%s' --grep='^Sync with the latest Gnulib code'
28 $ (cd ../gnulib; git checkout <REF>) # where <REF> is the most recent hash in the commit messages returned) 28 $ (cd ../gnulib && git checkout <REF>) # where <REF> is the one from above
29 $ ../gnulib/gnulib-tool --no-vc-files --add strcase 29 $ ../gnulib/gnulib-tool --no-vc-files --add strcase
30 $ find gl -name '*~' | xargs rm 30 $ find gl -name '*~' | xargs rm
31 $ git status 31 $ git status