tools/help2man.awk

   1 /~+/ {
   2     if (started)
   3         # The end.
   4         exit
   5
   6     # The beginning.
   7     started = 1
   8     getline
   9 }
  10
  11 /.*: .*/ { # A keyboard accelerator line.
  12     if (started) {
  13         print
  14         print ".br"
  15     }
  16 }
  17
  18 $0 == "" {
  19     if (started) {
  20         # End of keyboard accelerators.
  21         misc = 1
  22         RS = "\n\n"
  23         getline
  24         print ""
  25     }
  26 }
  27
  28 {
  29     if (misc) {
  30         gsub(/(\n|  )/, " ")
  31         print
  32         print ".br\n"
  33     }
  34 }