> Maybe we should use help2man instead, so that the man-page contains > just the list of available options and points to the manual for more > information? invoke.texi has roughly the type of information one would want in a man page, so if it can be auto-generated it will be kept current.