Move the documentation stuff back to the top level so we can have a custom docs target

6 months ago, Gary Kramlich