Remove superfluous directory separator.

Author: sebastianbergmann

PHP/CodeCoverage/Report/HTML.php

@@ -245,7 +245,7 @@ protected function classCoverageDistributionChart(array $classes, $target)
         $graph->yAxis->label      = '#Classes';
 
         $graph->render(
-          400, 250, $target . '/' . 'class_coverage_distribution.svg'
+          400, 250, $target . 'class_coverage_distribution.svg'
         );
     }
 

package.xml

@@ -59,6 +59,7 @@
         <file baseinstalldir="/" name="close12_1.gif" role="php" />
         <file baseinstalldir="/" name="container.css" role="php" />
         <file baseinstalldir="/" name="container-min.js" role="php" />
+        <file baseinstalldir="/" name="dashboard.html.dist" role="php" />
         <file baseinstalldir="/" name="directory.html.dist" role="php" />
         <file baseinstalldir="/" name="file.html.dist" role="php" />
         <file baseinstalldir="/" name="file_no_yui.html.dist" role="php" />
@@ -69,6 +70,8 @@
         <file baseinstalldir="/" name="scarlet_red.png" role="php" />
         <file baseinstalldir="/" name="snow.png" role="php" />
         <file baseinstalldir="/" name="style.css" role="php" />
+        <file baseinstalldir="/" name="typogridphy.css" role="php" />
+        <file baseinstalldir="/" name="typogridphy_ie.css" role="php" />
         <file baseinstalldir="/" name="yahoo-dom-event.js" role="php" />
         <file baseinstalldir="/" name="yui_item.js" role="php" />
        </dir>