From ea34d34ee8870a83d69a4122f09cff1b9ade2d76 Mon Sep 17 00:00:00 2001 From: Brion Vibber Date: Thu, 23 Sep 2004 07:38:24 +0000 Subject: [PATCH] Ignore LocalSettings.php,AdminSettings.php --- maintenance/mwdocgen.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/maintenance/mwdocgen.php b/maintenance/mwdocgen.php index 464012f2dd..ec267eaf59 100755 --- a/maintenance/mwdocgen.php +++ b/maintenance/mwdocgen.php @@ -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/'; -- 2.20.1