As discussed last year, we've converted the GNAT main documentation (gnat_rm.texi and gnat_ugn.texi) to reST/sphinx, so the master doc can now be found under gcc/ada/doc.there is an empty directory left in SVN:gcc/ada/doc/share/_static ok to remove?
No, this (empty currently) directory is needed to run sphinx. Feel free to e.g. add a .cvsignore or .gitignore file if it can help. Arno
