Updated openstack/openstack
Project: openstack-dev/devstack  eab94dbc2aac482c4024256d1d12958dd3717d3b

Update docs section for new build

The devstack.org build process was recently changed to run as a CI post
job, publishing the site after every commit.

Change-Id: I05ddb353fae524178a25f28f2437d4fc635167f9