Changeset 9de07dd in git
- Timestamp:
- Jul 30, 2014, 1:42:44 PM (10 years ago)
- Branches:
- (u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
- Children:
- 3d4794b3c8b67d8017878ed0e1100daf968b617d
- Parents:
- e6f4c664f288908426da693a1f2d3efceebb7cbc
- git-author:
- Oleksandr Motsak <motsak@mathematik.uni-kl.de>2014-07-30 13:42:44+02:00
- git-committer:
- Oleksandr Motsak <motsak@mathematik.uni-kl.de>2014-07-30 13:56:52+02:00
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
doxy
re6f4c66 r9de07dd 63 63 INPUTTXT=`echo "$INPUT" | sed -e 's@[ :]@_@g' -e 's@[\\\/]@__@g'` 64 64 65 OUTPUT=`mktemp -d -q "./DOXY.$INPUTTXT.XXXXXX"` 66 if [ $? -ne 0 ]; then 67 echo "$0: Can't create temp dir name, exiting..." 68 exit 1 65 OUTPUT="./DOXY.$INPUTTXT" 66 # `mktemp -d -q "./DOXY.$INPUTTXT.XXX"` 67 #if [ $? -ne 0 ]; then 68 # echo "$0: Can't create temp dir name, exiting..." 69 # exit 1 70 #fi 71 72 if [ -d "$OUTPUT" ]; then 73 echo "Directory '$OUTPUT' exists! Deleting..." 74 rm -Rf "$OUTPUT/*" 75 else 76 mkdir -p "$OUTPUT/" 69 77 fi 70 78
Note: See TracChangeset
for help on using the changeset viewer.