2004-03-02   Merijn de Jonge  <mdejonge@cs.uu.nl>
   * Makefile.xt: integrated pptable-diff in build process of
     pretty-print tables. Build now fails when inconsistentent pretty-print
     tables are detected
