#522 Man pages installed on wrong place

Feature Request
closed-fixed
nobody
manpage (1)
5
2016-03-12
2014-03-24
No

The xmlfw.1 man page is being installed in the wrong place. It's being placed on <prefix>/man/man1, but it's expected to be installed on <prefix>/share/man/man1.
This problem was noticed on 2.0.1 vanilla source distribution.

Discussion

  • Juvenal A. Silva Jr.

    Not a bug! The mandir install path can be changed by usage of --mandir on configure. Please close it.

     
  • Sebastian Pipping

    Voting for not a bug, too. See:

    # ./configure --help | fgrep -i mandir
      --mandir=DIR            man documentation [DATAROOTDIR/man]
    
    # fgrep mandir Makefile.in 
    man1dir = @mandir@/man1
    

    Please close.

     
  • Sebastian Pipping

    • status: open --> closed-fixed
     
  • Sebastian Pipping

    I found the fix to this bug in commit d11807a7b578173face35b8b10151abd6c64d0f4.
    It is included for quite a few releases now:

    $ git tag --contains d11807a7b578173face35b8b10151abd6c64d0f4
    R_1_95_8
    R_2_0_0
    R_2_0_1
    R_2_1_0
    

    Closing.

     

Log in to post a comment.