Develop

Minor doc changes + modifications to the doc build.xml file