From 7be6b00ed37599a3c2cb1da95b617c5a24a539d2 Mon Sep 17 00:00:00 2001
From: Dieter Provoost <contact@dieterprovoost.be>
Date: Mon, 25 Jun 2012 16:40:46 +0300
Subject: [PATCH] phpDox seems to generate an index.xhtml file, not an
 index.html file which fails the archiving of generated html files

---
 config.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/config.xml b/config.xml
index 47fa2ff..ac58c91 100644
--- a/config.xml
+++ b/config.xml
@@ -344,7 +344,7 @@
         <htmlpublisher.HtmlPublisherTarget>
           <reportName>API Documentation</reportName>
           <reportDir>build/api</reportDir>
-          <reportFiles>index.html</reportFiles>
+          <reportFiles>index.xhtml</reportFiles>
           <keepAll>true</keepAll>
           <wrapperName>htmlpublisher-wrapper.html</wrapperName>
         </htmlpublisher.HtmlPublisherTarget>