[Savannah-hackers-public] cvs -P for web directories?

[Karl Berry]

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