"Reedy" posted a comment on MediaWiki.r101807. URL: http://www.mediawiki.org/wiki/Special:Code/MediaWiki/101807#c31012
Commit summary for MediaWiki.r101807: man page help pages generation Tweaked mwdocgen.php to let us generates man pages. They will be saved to ./docs/man so make sure to update your MANPATH if you use this feature. Usage: php mwdocgen.php --all --generate-man or make man Reedy's comment: wgDoxyGenerateMan isn't always defined..... _______________________________________________ MediaWiki-CodeReview mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-codereview
