diff options
author | Vivien Kraus <vivien@planete-kraus.eu> | 2020-01-01 00:00:00 +0100 |
---|---|---|
committer | Vivien Kraus <vivien@planete-kraus.eu> | 2021-06-19 15:44:24 +0200 |
commit | d7b7787fc046390dc8b74ced4bbb4781d1e64afd (patch) | |
tree | ed2d0802cfc9b0f7581310fd02f528b47dc64d23 /configure.ac | |
parent | 023b4d96744145800069ba3342c0b9d7e809304f (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 9b3b3b0..0327beb 100644 --- a/configure.ac +++ b/configure.ac @@ -30,4 +30,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 |