Documentation for tex-options.
