#!/bin/sh TITLE="" if [ -e "$1.title" ]; then TITLE=`cat $1.title` fi cat << EOF

EOF echo "

$TITLE

" cat << EOF
EOF echo "" i=0 grep -v "^#" gipfelweb/gipfel/${1}.gipf | \ while read name height x y dist flags dummy; do if [ "${flags}" = "HIDDEN" ]; then continue fi THUMB_TITLE="${name%.jpg}" if [ -e "${name%.jpg}.title" ]; then THUMB_TITLE=`cat ${name%.jpg}.title` fi echo "
  • ${THUMB_TITLE} (${height}m)
    • " i=$((${i} + 1)) done cat << EOF
    copyright © 2007 Johannes Hofmann EOF