Re: 73-texi-dead-options.patch

[Tom Tromey]

>>>>> "Akim" == Akim Demaille <[EMAIL PROTECTED]> writes:

Akim>   * automake.texi (Invoking Automake): Remove dead options.

Ok.  Thanks!

Tom