diff options
Diffstat (limited to 'app/doxfileversionfilter.sh')
| -rw-r--r-- | app/doxfileversionfilter.sh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/app/doxfileversionfilter.sh b/app/doxfileversionfilter.sh deleted file mode 100644 index 5078bd4..0000000 --- a/app/doxfileversionfilter.sh +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/sh - -# a script to get the cvs version number of a particular file -# used by doxygen to identify the source of the doxygen-produced documentation -# $1 contains the full pathname of the file of interest. cvs expects a pathname -# relative to the directory from which doxygen is invoked. -# Note that the cvs status command must consult the server (sourceforge.net) -# and is therefore quite slow. - -WD=`pwd` -FN=`echo "$1" | sed "s|${WD}/||" ` -cvs status ${FN} | sed -n 's/^[ \]*Working revision:[ \t]*\([0-9][0-9\.]*\).*/\1/p'
\ No newline at end of file |