| … | |
… | |
| 68 | <li><a href='..'><parent></a></li></ul><h2>This Directory</h2><ul> |
68 | <li><a href='..'><parent></a></li></ul><h2>This Directory</h2><ul> |
| 69 | EOF |
69 | EOF |
| 70 | for file in *; do |
70 | for file in *; do |
| 71 | if [ -f "$file" ]; then |
71 | if [ -f "$file" ]; then |
| 72 | case "$file" in |
72 | case "$file" in |
| 73 | cfmapidx | *.pst | *.jpg | *.png | *.html | *.html.gz | *.xhtml | *.xhtml.gz | *.css | *~ ) |
73 | cfmapidx | *.jpg | *.png | *.html | *.html.gz | *.xhtml | *.xhtml.gz | *.css | *~ ) |
| 74 | ;; |
74 | ;; |
| 75 | * ) |
75 | * ) |
| 76 | if head -5 "$file" | grep -q "^arch map"; then |
76 | if head -5 "$file" | grep -q "^arch map"; then |
| 77 | echo >&7 "<li><a href='${file%.map}.xhtml'>${file%.map}</a> [map]</li>" |
77 | echo >&7 "<li><a href='${file%.map}.xhtml'>${file%.map}</a> [map]</li>" |
| 78 | DIR="${dir#/}" |
78 | DIR="${dir#/}" |
