Re: [help-texinfo] texi2dvi: AUC-TeX and depots

[Akim Demaille]

>>> "Karl" == Karl Berry <address@hidden> 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?)