Re: Deploying docs totally quiet

[David Crossley]

Okay, that worked smoothly for me. The docs re-arrangement
is published now.

So Ferdinand, you should make edits to one doc
and see if you can get that to work.

-David