Update documentation in one place.
Merge pull request #280 from bangerth/doc-update-4

Update documentation in one place.