diff options
author | William Harrington <kb0iic@berzerkula.org> | 2021-05-04 18:45:58 +0000 |
---|---|---|
committer | William Harrington <kb0iic@berzerkula.org> | 2021-05-04 18:45:58 +0000 |
commit | 7c94055539cfda8fd091980aef0817041a0c05d6 (patch) | |
tree | aab8e812094154ff4b88c46d04536fc6b48d34a7 /chapter8/isl.sh | |
parent | 1f5d707cacb9aeb40fbbd23be1c1fdc1ad5a7d82 (diff) | |
parent | 0348d9021a2a1bde166f6c3812641f485573a865 (diff) |
Merge branch 'master' into upgrade
Diffstat (limited to 'chapter8/isl.sh')
-rw-r--r-- | chapter8/isl.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/chapter8/isl.sh b/chapter8/isl.sh index b649020..87ee2fb 100644 --- a/chapter8/isl.sh +++ b/chapter8/isl.sh @@ -2,8 +2,8 @@ set -e ./configure --prefix=/usr \ - --disable-static \ - --docdir=/usr/share/doc/isl-"${VERSION}" && + --disable-static \ + --docdir=/usr/share/doc/isl-"${VERSION}" && make && make html && |