@ -175,7 +175,6 @@ t2:
#
pub:
git push
git push github
publish-doc: documentation
@echo "Transferring files to ${host}"