From 4d3af63e2748124f07b2ed70c9bc6303df7d1316 Mon Sep 17 00:00:00 2001 From: RoiArthurB Date: Tue, 10 May 2022 17:00:04 +0700 Subject: [PATCH] [DOC] Rename exhaustive index md filename ci docs --- .../src/msi/gama/doc/transform/XmlToWiki.java | 2 +- 1 file changed, 1 insertion(+), 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 index 555c725620..c9f043f6ce 100644 --- 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