diff options
Diffstat (limited to 'web/input/doc/faq/gnulib.md')
| -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 5b7299b..964940c 100644 --- a/web/input/doc/faq/gnulib.md +++ b/web/input/doc/faq/gnulib.md | |||
| @@ -12,8 +12,8 @@ latest Gnulib code, do something like: | |||
| 12 | $ cd gnulib | 12 | $ cd gnulib |
| 13 | $ GNULIB_HEAD=$(git rev-parse --short HEAD) | 13 | $ GNULIB_HEAD=$(git rev-parse --short HEAD) |
| 14 | $ cd .. | 14 | $ cd .. |
| 15 | $ git clone git@github.com:nagios-plugins/nagios-plugins.git | 15 | $ git clone git@github.com:monitoring-plugins/monitoring-plugins.git |
| 16 | $ cd nagios-plugins | 16 | $ cd monitoring-plugins |
| 17 | $ ../gnulib/gnulib-tool --update | 17 | $ ../gnulib/gnulib-tool --update |
| 18 | $ find gl -name '*~' -o -name '.gitignore' | xargs rm | 18 | $ find gl -name '*~' -o -name '.gitignore' | xargs rm |
| 19 | $ git status | 19 | $ git status |