diff options
Diffstat (limited to 'devel/rudiments/files/patch-man_Makefile')
| -rw-r--r-- | devel/rudiments/files/patch-man_Makefile | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/devel/rudiments/files/patch-man_Makefile b/devel/rudiments/files/patch-man_Makefile deleted file mode 100644 index 4869b8649dcd..000000000000 --- a/devel/rudiments/files/patch-man_Makefile +++ /dev/null @@ -1,18 +0,0 @@ ---- man/Makefile.orig 2015-01-13 22:38:32 UTC -+++ man/Makefile -@@ -3,10 +3,10 @@ top_builddir = .. - include ../config.mk - - install: -- $(MKINSTALLDIRS) $(mandir) -- $(MKINSTALLDIRS) $(mandir)/man1 -- $(CP) rudiments-config.1 $(mandir)/man1 -- $(CHMOD) 644 $(mandir)/man1/rudiments-config.1 -+ $(MKINSTALLDIRS) $(DESTDIR)$(mandir) -+ $(MKINSTALLDIRS) $(DESTDIR)$(mandir)/man1 -+ $(CP) rudiments-config.1 $(DESTDIR)$(mandir)/man1 -+ $(CHMOD) 644 $(DESTDIR)$(mandir)/man1/rudiments-config.1 - - uninstall: -- $(RM) $(mandir)/man1/rudiments-config.1 -+ $(RM) $(DESTDIR)$(mandir)/man1/rudiments-config.1 |