Make travis log less noisy

.travis.yml

@@ -179,7 +179,8 @@ script:
 
 # TEST:
   - if test "$VALGRIND" == yes ; then OPT=valgrind ; else OPT="" ; fi
-  - if test "$PLUMED_CXX" || test -n "$PLUMED_MACPORTS" ; then make -C regtest $OPT ; fi
+# --no-print-directory make it more silent
+  - if test "$PLUMED_CXX" || test -n "$PLUMED_MACPORTS" ; then make --no-print-directory -C regtest $OPT ; fi
 
 # test with gcc6
   - if test "$PLUMED_DOCKER" = yes ; then docker run -v "$PWD/regtest":/home/plumed/regtest -it plumed /bin/bash -c "make -C regtest" ; fi

.travis/pushdoc

@@ -99,6 +99,7 @@ set -x
 esac
 
 git add --all .
-git commit -m "Update to plumed/plumed2@$hash"
+# >/dev/null to avoid excessive noise on travis log
+git commit -m "Update to plumed/plumed2@$hash" >/dev/null
 # -q and 2> is not to show the GIT_TOKEN on Travis log
 git push -q -f doc gh-pages 2> /dev/null