Fix permissions for convert.pl when installing

gap-system · Oct 7, 2022 · 5ef8dc0 · 5ef8dc0
1 parent c57a07a
commit 5ef8dc0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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/