Re: gnulib is source or binary?

[Bruno Haible]

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