Documentation for tex-options.