Ignore AUCTeX auto directory
Edits from dad.