diff options
| author | Thomas Guyot-Sionnest <dermoth@aei.ca> | 2014-01-29 16:05:01 (GMT) |
|---|---|---|
| committer | Thomas Guyot-Sionnest <dermoth@aei.ca> | 2014-01-29 16:05:01 (GMT) |
| commit | 1758bd4dcf44b249342c22b4a726b095d9eaf2bd (patch) | |
| tree | e19856a47f12764252e9ae69fd4e71e1fa16f873 /web | |
| parent | df5881547e7bcda5ff1a365004e13f276b61dc10 (diff) | |
| download | site-1758bd4dcf44b249342c22b4a726b095d9eaf2bd.tar.gz | |
nothing
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 698e163..cc7d96b 100644 --- a/web/input/doc/faq/gnulib.md +++ b/web/input/doc/faq/gnulib.md | |||
| @@ -25,12 +25,12 @@ using `gnulib-tool`, e.g. (in order to add the `strcase` module): | |||
| 25 | 25 | ||
| 26 | $ cd monitoring-plugins | 26 | $ cd monitoring-plugins |
| 27 | $ git log --oneline|grep 'Sync with the latest Gnulib code'|head | 27 | $ git log --oneline|grep 'Sync with the latest Gnulib code'|head |
| 28 | $ (cd ../gnulib; git checkout <REF>) # where REF is the most recent hash in the commit messages returned) | 28 | $ (cd ../gnulib; git checkout <REF>) # where <REF> is the most recent hash in the commit messages returned) |
| 29 | $ ../gnulib/gnulib-tool --no-vc-files --add strcase | 29 | $ ../gnulib/gnulib-tool --no-vc-files --add strcase |
| 30 | $ find gl -name '*~' | xargs rm | 30 | $ find gl -name '*~' | xargs rm |
| 31 | $ git status | 31 | $ git status |
| 32 | $ git add gl | 32 | $ git add gl |
| 33 | # At this point you build and add any auto-generated file in gl/ to .gitignore | 33 | # At this point you can build and add any auto-generated file in gl/ to .gitignore |
| 34 | $ git add .gitignore | 34 | $ git add .gitignore |
| 35 | $ git commit -m 'Add Gnulib module "strcase"' | 35 | $ git commit -m 'Add Gnulib module "strcase"' |
| 36 | 36 | ||