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

[Paul Richardson]

  Branch: refs/heads/master
  Home:   https://github.com/Teiid-Designer/teiid-designer
  Commit: f3fe22bdf466a214cd016e227569ffe8efcd4e8a
      https://github.com/Teiid-Designer/teiid-designer/commit/f3fe22bdf466a214cd016e227569ffe8efcd4e8a
  Author: Paul Richardson <p.g.richardson at redhat.com>
  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