Bug#824945: auctex: "TeX-command-extra-option" has no effect

[Mosè Giordano]

Hi Janusz,

`TeX-command-extra-options' has been introduced in AUCTeX 11.88, but
you're running a lower version.

Bye,
Mosè