Commit 02fb71925dfd6ba737b58c756a3bf1ca2518e350

Bruno Haible 2009-04-02T02:20:00

Document how gnulib-tool can be put into PATH.