summaryrefslogtreecommitdiffstats
path: root/web/input/doc
diff options
context:
space:
mode:
authorThomas Guyot-Sionnest <dermoth@aei.ca>2014-01-29 16:05:01 (GMT)
committerThomas Guyot-Sionnest <dermoth@aei.ca>2014-01-29 16:05:01 (GMT)
commit1758bd4dcf44b249342c22b4a726b095d9eaf2bd (patch)
treee19856a47f12764252e9ae69fd4e71e1fa16f873 /web/input/doc
parentdf5881547e7bcda5ff1a365004e13f276b61dc10 (diff)
downloadsite-1758bd4dcf44b249342c22b4a726b095d9eaf2bd.tar.gz
nothing
Diffstat (limited to 'web/input/doc')
-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 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