options. Refer to or include c-tic6x.texi for C6X options instead of duplicating documentation here. * doc/c-alpha.texi, doc/c-tic6x.texi: Add markup for use in manpage generation.