(hol_entry_short_iterate, hol_entry_long_iterate):

  Add COOKIE argument, also to signature of FUNC.
(oshort):
  Exclude options for which odoc is true.
(struct pentry_state):
  New type.
(until_short):
  New function, from old nested function func1 in hol_entry_first_short.
  Only return short key when oshort is true.
(hol_entry_first_short):
  Remove func1 and use until_short instead.
(add_argless_short_opt, usage_argful_short_opt, usage_long_opt):
  New functions (were nested in hol_usage).
(hol_usage):
  Use un-nested functions.
(hol_entry_qcmp):
  New function.
(hol_sort):
  Remove cmp and use hol_entry_qcmp instead.
(hol_entry_cmp):
  Correctly place odoc options.
(canon_doc_option):
  New function.
(odoc):
  New macro.
(arg, print_header, comma):
  New functions (were nested in hol_entry_help)
(hol_entry_help):
  Correctly output odoc options.
  Use un-nested helper functions, with state block.
(argp_state_help):
  Add ARGP_HELP_LONG_ONLY to FLAGS if STATE has ARGP_LONG_ONLY set.

0 files changed, 0 insertions, 0 deletions