DISTDIR=${PKG}-${VERSION}
DEBDIR=${DEBPKG}-${VERSION}
-if [! (-f docs/${PKG}.htb -a -f docs/html/${PKG}_contents.html -a -f docs/${PKG}.pdf) ]; then
+if [! -f docs/${PKG}.htb -o ! -f docs/html/${PKG}_contents.html -o ! -f docs/${PKG}.pdf ]; then
echo "Making documentation"
pushd doc
make all