Ignore LocalSettings.php,AdminSettings.php
authorBrion Vibber <brion@users.mediawiki.org>
Thu, 23 Sep 2004 07:38:24 +0000 (07:38 +0000)
committerBrion Vibber <brion@users.mediawiki.org>
Thu, 23 Sep 2004 07:38:24 +0000 (07:38 +0000)
maintenance/mwdocgen.php

index 464012f..ec267ea 100755 (executable)
@@ -41,7 +41,7 @@ $pdOutput = "{$here}{$sep}docs{$sep}html";
 /** Some more Phpdoc settings */
 $pdOthers = '';
 //$pdOthers = ' -dn \'MediaWiki\' ';
-$pdOthers .= ' --title \'MediaWiki generated documentation\' -o \'HTML:frames:DOM/earthli\' ';
+$pdOthers .= ' --title \'MediaWiki generated documentation\' -o \'HTML:frames:DOM/earthli\' --ignore AdminSettings.php,LocalSettings.php';
 
 /** MediaWiki location */
 #$mwPath = '/var/www/mediawiki/';