diff options
| author | Holger Weiss <holger@zedat.fu-berlin.de> | 2014-06-18 18:51:17 (GMT) |
|---|---|---|
| committer | Holger Weiss <holger@zedat.fu-berlin.de> | 2014-06-18 18:51:17 (GMT) |
| commit | dc4232e5775d5db175784d64037bee0815862324 (patch) | |
| tree | 06734f214235323a309bcdab54a9773577aeb9ba /web | |
| parent | 5f09dc65a249d2803563d177784a99977f954ced (diff) | |
| download | site-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')
| -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 |