From 1e37de93fea3132f8bc726710c6f08cdc3a7c3d2 Mon Sep 17 00:00:00 2001 From: Antoine Musso Date: Mon, 15 Aug 2005 12:54:55 +0000 Subject: [PATCH] filename error --- maintenance/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/maintenance/Makefile b/maintenance/Makefile index 872938b41d..97f8b60bfa 100644 --- a/maintenance/Makefile +++ b/maintenance/Makefile @@ -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: -- 2.20.1