doc-src/Dirs
2008-07-02 wenzelm 2008-07-02 renamed Contents to Dirs to avoid case-conflict with doc/Contents;