Documentation for tex-automata.
