Menu

#173 installation of manual pages and html documentation

v1.0_(example)
closed
nobody
None
1
2026-02-19
2024-09-19
J G Miller
No

For the latest giflib v 5.2.2, the supplied makefile builds the manual pages and the HTML documentation but when it comes to installation, make install just puts all the manual page source xml files in "$(DESTDIR)$(MANDIR)/man1" which is surely incorrect. Each built manual page (.1, .7) should be installed in the correctly numbered man subdirectory and it would be great if make install also installed the html files to something like ""$(DESTDIR)/share/doc/giflib/html".

Thanks!

Discussion

  • Eric S. Raymond

    Eric S. Raymond - 2026-02-19
    • status: open --> closed
     
  • Eric S. Raymond

    Eric S. Raymond - 2026-02-19

    Fix pushed,

     

Log in to post a comment.

MongoDB Logo MongoDB