diff options
Diffstat (limited to 'web')
| -rw-r--r-- | web/mkdemos.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/web/mkdemos.sh b/web/mkdemos.sh index e33c464f8..f612ffc35 100644 --- a/web/mkdemos.sh +++ b/web/mkdemos.sh @@ -42,7 +42,7 @@ for command in "$@"; do input=$(echo $command | sed -e 's/.* \([^ ]*\) -o.*/\1/') output=$(echo $command | sed -e 's/.*-o \(.*\)/\1/') echo "1. <code>$firstpart <a href=\""$input"\" title=\""View input file"\">$input</a> -o <a href=\""$output"\" title=\""View pandoc output"\">$output</a></code>" + echo $command >&2 result=$($command) # run the command and create output file - echo "Created $output." >&2 done |