This is a minor issue, and I wasnt sure whether it was something that needed a JIRA issue. I've noticed that some of the html output files for the docs that have been removed from the manuals for whatever reason are still on the server. It might be nice to clear out those directories every now and then to make sure these files aren't hanging around too long.
More lengthy detail: I'm guessing this is because the process that creates our nightly builds simply copies over the new html files each night without removing what's in the directory currently. So if file X is deleted from the manual, it still appears, although the content cannot be found from the table of contents and is not linked to from any other page (it is an island). This wouldn't be a problem except for the fact that we have JIRA issues where people have asked for certain pages to be removed and provided links to them. Well, if one goes back to those JIRA issues and checks to see if the page has been removed, they are going to get a working link and not realize that the file is not in the manual anymore. Also, I'm not sure if web search crawlers access our documentation, but I imagine that if they do, or if we want them to in the future, these pages would show up in searches and provide potentially mistaken info.