Menu

#41 [PATCH] Makefile fails installing man page

0.5
closed-fixed
rakudave
None
5
2026-03-08
2026-03-04
Marius Spix
No

OS: Linux

mkdir -p /usr/bin/ /usr/share/jnetmap/ /usr/share/applications/
install -m 0644 jNetMap.jar /usr/share/jnetmap/
install -m 0755 jnetmap.sh /usr/share/jnetmap/
install -m 0755 jnetmap /usr/bin/
install -m 644 jnetmap.png /usr/share/jnetmap/
install -m 644 jnetmap.desktop /usr/share/applications/
install -m 644 jnetmap.1.gz jnetmap.1.gz
install: 'jnetmap.1.gz' and 'jnetmap.1.gz' are the same file
make: *** [Makefile:43: install] Error 1

Patch:

--- a/Makefile  2026-03-04 22:14:39.763818139 +0100
+++ b/Makefile  2026-03-04 22:14:51.574919614 +0100
@@ -42,9 +42,10 @@

    install -m 644 $(ICONFILE) $(MAINDIR)
    install -m 644 $(DESKTOPFILE) $(DESKTOPDIR)

-   install -m 644 $(MANFILE) $(MANFILE)
+   install -m 644 $(MANFILE) $(MANDIR)

 uninstall:
    rm -rf $(MAINDIR)
    rm -f $(BINDIR)$(NAME)
    rm -f $(DESKTOPDIR)$(DESKTOPFILE)

+   rm -f $(MANDIR)$(MANFILE)

Discussion

  • rakudave

    rakudave - 2026-03-08
    • status: open --> closed-fixed
    • assigned_to: rakudave
     
  • rakudave

    rakudave - 2026-03-08

    Good catch, thanks @spixi

     

Log in to post a comment.

MongoDB Logo MongoDB