filename error
authorAntoine Musso <hashar@users.mediawiki.org>
Mon, 15 Aug 2005 12:54:55 +0000 (12:54 +0000)
committerAntoine Musso <hashar@users.mediawiki.org>
Mon, 15 Aug 2005 12:54:55 +0000 (12:54 +0000)
maintenance/Makefile

index 872938b..97f8b60 100644 (file)
@@ -11,7 +11,7 @@ test-light:
        php parserTests.php --color=light
 
 doc:
-       php mwgendoc.php -all
+       php mwdocgen.php -all
        echo 'Doc generation done. Look at ./docs/html/'
 
 doxydoc: