--- /home/cweiske/Dev/cvs/pear/instpear/share/pear/phd/themes/pear/pearchm.php.orig 2008-10-03 09:15:42.000000000 +0200 +++ /home/cweiske/Dev/cvs/pear/instpear/share/pear/phd/themes/pear/pearchm.php 2008-10-03 09:15:45.000000000 +0200 @@ -195,8 +195,11 @@ $this->hhcStream = fopen($this->chmdir . "pear_manual_{$lang}.hhc", "w"); $this->hhkStream = fopen($this->chmdir . "pear_manual_{$lang}.hhk", "w"); - foreach(array("reset-fonts", "style", "manual") as $name) + foreach(array("reset-fonts", "style", "manual") as $name) { + if (!file_exists($this->outputdir . "$name.css")) { file_put_contents($this->outputdir . "$name.css", $this->fetchStylesheet($name)); + } + } self::headerChm(); }