Todo

In no preferential order:

• Generate presentation-quality images.
  
  dot -Tps FILENAME.dot | gs -q -r360 -dNOPAUSE -sDEVICE=pnm -sOutputFile=- - -c quit | pnmcrop | pnmscale 0.25 | ppmtogif > FILENAME.gif
  
  Analogue pic2plot.
• Get rid of the duplications while generating the index.xml file.
• Fix the image map to allow cross-references to the javadocs in multi-package mode.