Added the htmlpublisher plugin