Build script improvements for release management.

James Moger

2011-06-09 81f881a10f2c8456cc4ebfa26327e15655db4646

 docs/doc_footer.html

copy from docs/page_footer.html
copy to docs/doc_footer.html