From dc19dec08b39e07a28a9078674dd2d0caa56ab06 Mon Sep 17 00:00:00 2001 From: thephez Date: Mon, 5 Feb 2018 13:34:43 -0500 Subject: [PATCH] scripts - Remove unused script --- scripts/install-doxygen.sh | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 scripts/install-doxygen.sh diff --git a/scripts/install-doxygen.sh b/scripts/install-doxygen.sh deleted file mode 100644 index 80ef3b31..00000000 --- a/scripts/install-doxygen.sh +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/sh -set -ex -wget -q http://ftp.stack.nl/pub/users/dimitri/doxygen-1.8.14.linux.bin.tar.gz - -echo "Decompressing..." -tar -xzf doxygen-1.8.14.linux.bin.tar.gz - -cp doxygen-1.8.14/bin/* ~ -ls ~ - -#echo "Configure and Install Doxygen" -#cd doxygen-1.8.14 && ./configure && sudo make install