From 25c8ec75f4e4c6ac08548b07822cfd1767f5a8d4 Mon Sep 17 00:00:00 2001 From: Chris Date: Sun, 18 Dec 2016 22:51:42 +0000 Subject: [PATCH] Remove doc script for now --- makedocs.sh | 7 ------- 1 file changed, 7 deletions(-) delete mode 100755 makedocs.sh diff --git a/makedocs.sh b/makedocs.sh deleted file mode 100755 index 5316252..0000000 --- a/makedocs.sh +++ /dev/null @@ -1,7 +0,0 @@ -#!/bin/bash - -# Get the latest tag annotation out of git. -VERS=`git tag -n1 | sort -V | tail -n1 | perl -e '$tag = ; $tag =~ s/^.*?\s\s+(.*)$/$1/; print $tag;'` - -# Generate the documentation with the project number updated with the tag. -(cat supportfiles/Doxyfile; echo "PROJECT_NUMBER = \"$VERS\"") | doxygen -