diff options
author | Johannes Hofmann <Johannes.Hofmann@gmx.de> | 2007-09-20 18:35:32 +0200 |
---|---|---|
committer | Johannes Hofmann <Johannes.Hofmann@gmx.de> | 2007-09-20 18:35:32 +0200 |
commit | c07fe54c98eac73c2e517425928ba7eaa0ff4dff (patch) | |
tree | 883c0a76db6881f118cf193f304425a8c056c53f /examples/gipfel2html | |
parent | a1d160b1dc9d5e65a87f1ddc8a0f595701a69d25 (diff) |
check in Makefile for *.title files instead of in gipfel2html
Diffstat (limited to 'examples/gipfel2html')
-rwxr-xr-x | examples/gipfel2html | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/examples/gipfel2html b/examples/gipfel2html index 35328c3..36720be 100755 --- a/examples/gipfel2html +++ b/examples/gipfel2html @@ -1,7 +1,8 @@ #!/bin/sh MODE="$1" -FILE="$2" +TITLE="$2" +FILE="$3" if [ "$MODE" = "images" ]; then DATAFILE="gipfelweb/gipfel/${FILE}.imgs" @@ -9,11 +10,6 @@ else DATAFILE="gipfelweb/gipfel/${FILE}.hills" fi -TITLE="" -if [ -e "${FILE}.title" ]; then - TITLE=`cat ${FILE}.title` -fi - cat << EOF <html> <head> |