#!/bin/sh cat << EOF " echo "" 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 echo "
  • ${name} (${height}m)
    • " i=$((${i} + 1)) done cat << EOF
    EOF