diff options
| -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 9228bd5..15ce2a6 100644 --- a/web/input/doc/faq/gnulib.md +++ b/web/input/doc/faq/gnulib.md | |||
| @@ -14,9 +14,9 @@ latest Gnulib code, starting from the directory above your | |||
| 14 | $ GNULIB_HEAD=$(git rev-parse --short HEAD) | 14 | $ GNULIB_HEAD=$(git rev-parse --short HEAD) |
| 15 | $ cd ../monitoring-plugins | 15 | $ cd ../monitoring-plugins |
| 16 | $ ../gnulib/gnulib-tool --update | 16 | $ ../gnulib/gnulib-tool --update |
| 17 | $ find gl -name '*~' -o -name '.gitignore' | xargs rm | 17 | $ find build-aux gl -name '*~' -o -name '.gitignore' | xargs rm |
| 18 | $ git status | 18 | $ git status |
| 19 | $ git add gl | 19 | $ git add build-aux gl |
| 20 | $ git commit -m "Sync with the latest Gnulib code ($GNULIB_HEAD)" | 20 | $ git commit -m "Sync with the latest Gnulib code ($GNULIB_HEAD)" |
| 21 | 21 | ||
| 22 | In order to make a given function available via Gnulib (on systems which don't | 22 | In order to make a given function available via Gnulib (on systems which don't |