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.