diff options
1 files changed, 0 insertions, 12 deletions
| -rw-r--r-- | homework/81281/c2html/executeProgram.sh | 12 |
diff --git a/homework/81281/c2html/executeProgram.sh b/homework/81281/c2html/executeProgram.sh deleted file mode 100644 index bc02714..0000000 --- a/homework/81281/c2html/executeProgram.sh +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/sh - -echo -n "Please enter the name of the C file you wish to highlight:" -read fileName -echo $fileName -if ! [[ $fileName == *.c\n ]]; then - base=`pwd`"/c2html.pl" - PL=swipl - exec $PL -q -f "$base" "$fileName" -else - echo "Not a correct C filename!" -fi |