mozilla/rust — pull request #9544 by alexcrichton (2013-09-26 22:13:55+00:00)
Title: mk: Fully clean out old documentation

This purges doc/{std,extra} entirely during a `make clean` instead of just the
html files in some top level directories. This should help old documentation
from showing up on static.rust-lang.org