Jenkins 178e8f7cea Merge "Remove useless doc/requirements"

2013-08-26 10:56:50 +00:00

..

source

doc: replace GitHub by git.openstack.org

2013-08-26 11:00:32 +02:00

Makefile

Check for doc build dependency before building

2012-08-31 12:04:26 -04:00