d48da190b5
NOT full config doc) and xref to configure.info (2) add brief mention of --help and --prefix=DIR configure options (3) re-enable, with new command names, old doc for commands now reorganized into maint. (NO new doc yet for new maint commands or for old undoc'd dump-me; nor for "maint" itself in general.)