doc-src/Makefile.in
2011-05-02 wenzelm removed rail garbage;
2011-05-02 wenzelm eliminated external rail executable;
2010-05-14 blanchet added Sledgehammer manual;
2009-10-22 blanchet Added Nitpick manual.
2008-12-03 wenzelm remove *.lof as well;
2005-04-01 gagern bring make to delete files on error
2002-01-08 wenzelm dependencies for "typedef" image;
2000-12-06 wenzelm tuned;
2000-05-08 wenzelm tuned GARBAGE;
1999-07-23 wenzelm rail -a;
1999-07-19 wenzelm added isabelle_isar logo;
1999-05-07 wenzelm replaced png by pdf;
1999-05-06 wenzelm tuned;
1999-05-05 wenzelm tuned;
1999-05-05 wenzelm tuned;
1999-05-05 wenzelm Common part for Doc Makefiles;
less more (0) tip