Switch to side-by-side view
--- a/tests/runtests.sh +++ b/tests/runtests.sh @@ -13,8 +13,9 @@ echo "Indexing" recollindex -z } - +if test x$noindex = x ; then makeindex +fi # Yes, we could/should use the $toptmp from shared.sh here, but what if # this is unset ?