#!/bin/bash

./configure --prefix=/usr \
	        --disable-static \
			--docdir=/usr/share/doc/isl-"${VERSION}" &&

make &&
make html &&

make -j1 install &&
make -j1 install-html