fix numdiff path

diff --git a/deal.II-toolchain/packages/numdiff.package b/deal.II-toolchain/packages/numdiff.package
index aa288dd43e258112598331971790523c56d8fcb9..203f90a30a9c43469e508651d63cfd47a338a95f 100644 (file)
--- a/deal.II-toolchain/packages/numdiff.package
+++ b/deal.II-toolchain/packages/numdiff.package
@@ -18,6 +18,6 @@ package_specific_conf () {
     CONFIG_FILE=${CONFIGURATION_PATH}/${NAME}
     rm -f $CONFIG_FILE
     echo "
-export PATH=${INSTALL_PATH}:\${PATH}
+export PATH=${INSTALL_PATH}/bin:\${PATH}
 " >> $CONFIG_FILE
 }