diff options
author | Vivien Kraus <vivien@planete-kraus.eu> | 2020-01-01 00:00:00 +0100 |
---|---|---|
committer | Vivien Kraus <vivien@planete-kraus.eu> | 2021-05-11 00:14:27 +0200 |
commit | 3c9c099fd11586108f3ca00b14157e8a85a20d33 (patch) | |
tree | 51645b0a20eba6d6765ef9a03b9505212d03d9ec /configure.ac | |
parent | ac2d90e8052bc399d0bf04ad520947cab540f59c (diff) |
Create a pre-inst-env script
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 2bb125c..eb9235f 100644 --- a/configure.ac +++ b/configure.ac @@ -31,4 +31,5 @@ GUILE_MODULE_REQUIRED([nquads fromrdf]) AC_CONFIG_FILES([Makefile po/Makefile.in man/Makefile]) AC_CONFIG_FILES([man/reset-env], [chmod +x man/reset-env]) +AC_CONFIG_FILES([pre-inst-env], [chmod +x pre-inst-env]) AC_OUTPUT |