# HG changeset patch
# User Rik <rik@octave.org>
# Date 1384374951 28800
# Node ID f301bfef765d6d94ac330fe7f99bcdcfe75c8f74
# Parent  2636b3458f4d3072715288a35e9836bca9efd50e
maint: Add executable permission to makeinst-script.sh

* makeinst-script.sh: Add executable permission to script.

diff -r 2636b3458f4d -r f301bfef765d makeinst-script.sh