gnuit-dev
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[gnuit-dev] PATCH for gnuit to use relative symlinks for man pages (ping


From: Gerald Pfeifer
Subject: [gnuit-dev] PATCH for gnuit to use relative symlinks for man pages (ping)
Date: Sat, 27 Jan 2018 11:29:13 +0100 (CET)

Hi there,

can this patch please integrated?  (I've got two, three further
ones to help with portability, and it would be nice to see those
included.)

Thanks,
Gerald

---------- Forwarded message ----------
From: Gerald Pfeifer <address@hidden>
To: address@hidden
Date: Sun, 10 Dec 2017 22:51:27 +0100 (CET)
Subject: PATCH for gnuit to use relative symlinks for man pages

Generally relative symlinks are preferrable over absolute ones, 
and in the case of the man pages
  https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=224230
points out how making things "relocatable" sometimes helps.

Can you please include this upstream?

Gerald

2017-12-10  Gerald Pfeifer  <address@hidden>

        * Makefile.am: Only create relative symlinks for man pages.
        * Makefile.in: Regenerate.

--- UTC
--- doc/Makefile.am     2009-02-18 02:31:25.000000000 +0000
+++ doc/Makefile.am     2017-12-10 21:27:14.321310000 +0000
@@ -42,13 +42,13 @@
        for i in $(GIT_GREPS);\
        do\
            rm -f $(DESTDIR)$(mandir)/man1/$${i}.1;\
-           ln -s $(mandir)/man1/gitrgrep.1 $(DESTDIR)$(mandir)/man1/$${i}.1;\
+           ln -s gitrgrep.1 $(DESTDIR)$(mandir)/man1/$${i}.1;\
        done
        \
        for i in $(GIT_INTERNAL_MANS);\
        do\
            rm -f $(DESTDIR)$(mandir)/man1/$${i}.1;\
-           ln -s $(mandir)/man1/gitinternal.1 
$(DESTDIR)$(mandir)/man1/$${i}.1;\
+           ln -s gitinternal.1 $(DESTDIR)$(mandir)/man1/$${i}.1;\
        done
        if [ "$(mandir)" != "$(prefix)/man" ]; then\
            for i in $(ORIG_MANS) $(GIT_INTERNAL_MANS); \
--- doc/Makefile.in     2009-02-18 02:31:25.000000000 +0000
+++ doc/Makefile.in     2017-12-10 21:27:32.723308000 +0000
@@ -969,13 +969,13 @@
        for i in $(GIT_GREPS);\
        do\
            rm -f $(DESTDIR)$(mandir)/man1/$${i}.1;\
-           ln -s $(mandir)/man1/gitrgrep.1 $(DESTDIR)$(mandir)/man1/$${i}.1;\
+           ln -s gitrgrep.1 $(DESTDIR)$(mandir)/man1/$${i}.1;\
        done
        \
        for i in $(GIT_INTERNAL_MANS);\
        do\
            rm -f $(DESTDIR)$(mandir)/man1/$${i}.1;\
-           ln -s $(mandir)/man1/gitinternal.1 
$(DESTDIR)$(mandir)/man1/$${i}.1;\
+           ln -s gitinternal.1 $(DESTDIR)$(mandir)/man1/$${i}.1;\
        done
        if [ "$(mandir)" != "$(prefix)/man" ]; then\
            for i in $(ORIG_MANS) $(GIT_INTERNAL_MANS); \



reply via email to

[Prev in Thread] Current Thread [Next in Thread]