doc-src/Dirs
2009-10-22 blanchet 2009-10-22 Added Nitpick manual.
2009-03-11 nipkow 2009-03-11 Added "What's in Main" to doc sources
2009-03-03 haftmann 2009-03-03 more canonical directory structure of manuals
2009-02-15 wenzelm 2009-02-15 explicit section for old/outdated manuals, which are still informative to some extent;
2008-07-02 wenzelm 2008-07-02 renamed Contents to Dirs to avoid case-conflict with doc/Contents;