#!/bin/bash

#rm HEADER.html
touch HEADER.html

for image in [a-zA-Z0-9]*.png; do
    i=${image%%.png}
    echo $image
    pngtopnm $image | pnmscale -xysize 100 100 | pnmtojpeg > _thumb${i}.jpg
    echo "<a href=\"${i}.png\" target=\"new\"><img src=\"_thumb${i}.jpg\"></a>" >> HEADER.html
done

