docs/README

   1 The bulk of the content is generated dynamically from the database.
   2 This directory just contains the latex and infrastructure to make nice
   3 documents from the data.
   4
   5 The `mp' directory contains metapost source and assorted
   6 infrastructure for building and previewing the graphics.
   7