[DOC] Rename exhaustive index md filename

ci docs
gama-platform · May 10, 2022 · 4d3af63 · 4d3af63
1 parent 3c1af2d
commit 4d3af63
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/msi.gama.documentation/src/msi/gama/doc/transform/XmlToWiki.java b/msi.gama.documentation/src/msi/gama/doc/transform/XmlToWiki.java
@@ -99,7 +99,7 @@ public static void createAllWikis()
 		System.out.print("Creation of the wiki page for the Index.......");
 		createWiki(Constants.DOCGAMA_GLOBAL_FILE,
 				Constants.XSL_XML2WIKI_FOLDER + File.separator + "docGama-Index-xml2md.xsl",
-				Constants.WIKI_FOLDER + File.separator + "Index" + suffix + ".md");
+				Constants.WIKI_FOLDER + File.separator + "Exhaustive-list-of-GAMA-Keywords" + suffix + ".md");
 		System.out.println("Done");
 
 		// JSON