Hi sysadmins, Going to (for instance) http://www.gnu.org/software/binutils/manual/ld-2.9.1/dvi/ shows an empty directory in the browser. We cvs removed all those old files, but the cvs checkout/update actions need the -P option to prune otherwise-empty directories from a tree.
So, can you please arrange this for the live web checkouts on www.gnu.org? Thanks, Karl
