Commit 8b7d8f7a32e0d99d1b3f9ee4668e9a1498b91429

Christian Egli 2015-09-04T12:06:46

doc: Describe to use multiple instances of gnulib * doc/gnulib-tool.texi: Add a section to the manual outlining how two instances of gnulib with different modules can be used, for example one for a lib and another one for associated tools.