[teiid-designer-dev] [Teiid-Designer/teiid-designer] f3fe22: Fix user guide html-single build

Branch: refs/heads/master Home: https://github.com/Teiid-Designer/teiid-designer Commit: f3fe22bdf466a214cd016e227569ffe8efcd4e8a https://github.com/Teiid-Designer/teiid-designer/commit/f3fe22bdf466a214c... Author: Paul Richardson <p.g.richardson(a)redhat.com&gt; Date: 2012-12-03 (Mon, 03 Dec 2012) Changed paths: M documentation/guides/Teiid_Designer_User_Guide/.externalToolBuilders/maven-user-guide-publish-html.launch M documentation/guides/Teiid_Designer_User_Guide/pom.xml Log Message: ----------- Fix user guide html-single build * pom.xml * html-single profile is not actually doing anything due to missing configuration * maven-user-guide-html.launch * Build pdf and single html as well as html