From 5564216deccb49e138f665e223c81fe6c1edd79d Mon Sep 17 00:00:00 2001 From: Adam Dickmeiss Date: Wed, 9 Apr 2014 11:32:16 +0200 Subject: [PATCH] Remove script no longer in use --- upload.sh | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100755 upload.sh diff --git a/upload.sh b/upload.sh deleted file mode 100755 index 54ccd40..0000000 --- a/upload.sh +++ /dev/null @@ -1,13 +0,0 @@ -#!/bin/sh -P=yaz -set -x -doxygen >out 2>stderr -if test -s stderr; then - echo "doxygen warnings.. Fix your Doxygen comments!" - cat stderr - exit 1 -fi -(cd doc && make ${P}.pdf index.html) -cp NEWS doc/ -tar cz --exclude=.git -f - dox doc|ssh website "cd software/${P}; tar xzf -" -exit 0 -- 1.7.10.4