Menu

#175 Broken manpage formatting since 5.18.4

autogen
closed
nobody
None
1
2020-09-14
2016-05-01
No

Hello,
autogen 5.18.4 and later generate broken manpage formatting for gnutls:

autogen -DMAN_SECTION=1 -Tagman-cmd.tpl /tmp/cli-args.def.tmp && man ./gnutls-cli.1 | grep -- '^ *--tofu'
--tofu, - Fl -no-tofu

Note the literal "-Fl".

cu Andreas

2 Attachments

Discussion

  • Bruce Korb

    Bruce Korb - 2016-05-08

    The problem is caused by the new mdoc implementation.
    The "canonical" man page is mdoc format because it is a superset of man page capabilities.
    A perl script converts the mdoc output into man page format.
    Except it has this remaining glitch. I am seeing it in my gnu-pw-mgr project, too.
    Since this was written by a third party and that third party is stepping up to fix it,
    I will wait for the solution. I wended my way through much of the script,
    but I got lost trying to figure it all out. So I wait. Sorry.

    FYI, the files at issue are: autoopts/tpl/cmd-doc.tlib (creating the option clauses
    in mdoc format), and autoopts/tpl/mdoc2man.pl.

     
  • Bruce Korb

    Bruce Korb - 2016-05-08

    P.S. my hackaround for gnu-pw-mgr:

    sed -i 's/- Fl /-/;s/ Fl /\\-/;s/I-Font\]\\-\\-/B-Font]\\-\\-/' $(1).1
    
     
  • Bruce Korb

    Bruce Korb - 2016-05-09

    Harlan suggested removing the quotes around long options that have disablement prefixes:

    $ diff -u cmd-doc.tlib-SAVE cmd-doc.tlib
    --- cmd-doc.tlib-SAVE 2016-05-02 10:50:38.537438175 -0700
    +++ cmd-doc.tlib 2016-05-09 09:13:33.812717221 -0700
    @@ -942,7 +942,7 @@
    ENDIF :+][+:

       IF (exist? "disable")
    
    • :+], " Fl -[+:(. dis-name):+]"[+:
    • :+], Fl -[+:(. dis-name) :+][+:
      ENDIF :+]
      [+:
      ENDIF :+]
      [+:
      ENDIF :+]

    that seems to fix the issue. Once fully confirmed, I will push a new autogen. Sorry about that.

     
  • Bruce Korb

    Bruce Korb - 2016-05-09

    P.S. it also fixes the issue for the sample code in cli-args.def

     
  • Bruce Korb

    Bruce Korb - 2016-05-09
    • status: open --> pending
     
  • Bruce Korb

    Bruce Korb - 2020-09-14
    • status: pending --> closed
     
  • Bruce Korb

    Bruce Korb - 2020-09-14

    fixed

     

Log in to post a comment.

MongoDB Logo MongoDB