From 5ef8dc0734acb95beadc7be3277a901e306281b8 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Fri, 7 Oct 2022 00:23:30 +0200 Subject: [PATCH] Fix permissions for convert.pl when installing --- Makefile.rules | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.rules b/Makefile.rules index de1dbc4823..986efd57d5 100644 --- a/Makefile.rules +++ b/Makefile.rules @@ -631,7 +631,7 @@ install-gaproot: CITATION # install helpers for developers $(INSTALL) -d -m 0755 $(DESTDIR)$(datarootdir)/gap/etc - $(INSTALL) -m 0644 $(srcdir)/etc/convert.pl $(DESTDIR)$(datarootdir)/gap/etc/ + $(INSTALL) -m 0755 $(srcdir)/etc/convert.pl $(DESTDIR)$(datarootdir)/gap/etc/ $(INSTALL) -d -m 0755 $(DESTDIR)$(datarootdir)/gap/etc/vim $(INSTALL) -m 0644 $(srcdir)/etc/vim/*.* $(DESTDIR)$(datarootdir)/gap/etc/vim/