summaryrefslogtreecommitdiffstats
path: root/web/input
diff options
context:
space:
mode:
authorHolger Weiss <holger@zedat.fu-berlin.de>2014-06-18 18:51:17 (GMT)
committerHolger Weiss <holger@zedat.fu-berlin.de>2014-06-18 18:51:17 (GMT)
commitdc4232e5775d5db175784d64037bee0815862324 (patch)
tree06734f214235323a309bcdab54a9773577aeb9ba /web/input
parent5f09dc65a249d2803563d177784a99977f954ced (diff)
downloadsite-dc4232e5775d5db175784d64037bee0815862324.tar.gz
doc/faq/gnulib.md: Also take care of "build-aux"
Gnulib also installs files into the "build-aux" directory.
Diffstat (limited to 'web/input')
-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