X-Git-Url: http://git.kpe.io/?p=ctsim.git;a=blobdiff_plain;f=make-dist.sh;h=5ab5bf3a56e90ea0139808556379422ba0936c7d;hp=5dbf430f6a14b994a96797fa16d3296128a64e1b;hb=a1d1b6fcaa983c7f5832436effebeaf0c8068fb8;hpb=f9d720b6dc6c38b2d4ff69fef7e9e7000a98ec94

diff --git a/make-dist.sh b/make-dist.sh
index 5dbf430..5ab5bf3 100755
--- a/make-dist.sh
+++ b/make-dist.sh
@@ -13,7 +13,7 @@ TOPDIR=`basename $PWD`
 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