#! /bin/bash -ue # Last edited on 2025-05-04 22:50:06 by stolfi echo "" echo "Image index" echo "" echo "

" ls fig/zipf*.png \ | gawk \ ' /./{ \ printf "\n"; \ printf " \n"; \ printf " \n", $1, $1; \ printf " \n"; \ printf " \n", $1; \ printf "
%s
\n"; \ } \ ' echo "

" echo "" echo ""