#!/bin/bash

#rm HEADER.html
touch HEADER.html

for image in P*.JPG; do
    if [ ! -e thumb$image ]; then 
      echo $image
      jpegtopnm $image | pnmscale -xysize 100 100 | pnmtojpeg > thumb$image
      echo "<a href=\"$image\"><img src=\"thumb$image\"></a>" >> HEADER.html
    fi
done