>>> "Karl" == Karl Berry <[EMAIL PROTECTED]> writes:
> I don't especially like the term `depot', since I associate it with > source code repositories. How about simply --tidy-dir, or --directory > if there's a chance it will sometime be used in other modes? --arena? --theater? (since you compile behind the scene, you need to name it, right?) _______________________________________________ Texinfo home page: http://www.gnu.org/software/texinfo [email protected] http://lists.gnu.org/mailman/listinfo/help-texinfo
