Reuben Thomas wrote: > I suppose it's also a downside of gnulib's being a source library, though > the tools it offers have persuaded me, at least, to treat its files as "not > normally for editing", and hence like a binary library.
You can override gnulib's source code or apply modifications to it, locally to your package, by using gnulib-tool's --local-dir feature. Of course, you can also work off a git checkout with modifications of your own. Bruno
