diff options
| author | Holger Weiss <holger@zedat.fu-berlin.de> | 2014-01-30 17:05:09 (GMT) |
|---|---|---|
| committer | Holger Weiss <holger@zedat.fu-berlin.de> | 2014-01-30 17:05:09 (GMT) |
| commit | 99f39f12e1c69c9a3b20a7becbdec58d5bfd8981 (patch) | |
| tree | 6e12904e1a51b2b5c4f5704da8adc057a330f65a | |
| parent | ffadaf8c1d6d7d073d119b5ed9e584e85f2cc696 (diff) | |
| download | site-99f39f12e1c69c9a3b20a7becbdec58d5bfd8981.tar.gz | |
doc/faq/gnulib.md: Cosmetic changes
| -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 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 | |||
| 24 | using `gnulib-tool`, e.g. (in order to add the `strcase` module): | 24 | using `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 |