summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-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 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
22In order to make a given function available via Gnulib (on systems which don't 22In order to make a given function available via Gnulib (on systems which don't