(I pass on further debate about "repository", "depot", etc. :)
I have one suggestion we might agree upon: --build-dir.
Works for me. Thanks :).
_______________________________________________
Texinfo home page: http://www.gnu.org/software/texinfo
[email protected]
http://lists.gnu.org/mailman/listinfo/help-texinfo
