From 3a2ae8c7d9791e58848be5eb03c4f5745dc8d214 Mon Sep 17 00:00:00 2001
From: pietervdvn <pietervdvn@posteo.net>
Date: Wed, 19 May 2021 12:49:51 +0200
Subject: [PATCH] Fix documentation extension

---
 Docs/{SpecialInputElements => SpecialInputElements.md} | 0
 scripts/generateDocs.ts                                | 2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename Docs/{SpecialInputElements => SpecialInputElements.md} (100%)

diff --git a/Docs/SpecialInputElements b/Docs/SpecialInputElements.md
similarity index 100%
rename from Docs/SpecialInputElements
rename to Docs/SpecialInputElements.md
diff --git a/scripts/generateDocs.ts b/scripts/generateDocs.ts
index 9057a3e6ae..09e96f0e4c 100644
--- a/scripts/generateDocs.ts
+++ b/scripts/generateDocs.ts
@@ -20,6 +20,6 @@ function WriteFile(filename, html: UIElement) : void {
 
 WriteFile("./Docs/SpecialRenderings.md", SpecialVisualizations.HelpMessage)
 WriteFile("./Docs/CalculatedTags.md", new Combine([SimpleMetaTagger.HelpText(), ExtraFunction.HelpText()]))
-writeFileSync("./Docs/SpecialInputElements", ValidatedTextField.HelpText());
+writeFileSync("./Docs/SpecialInputElements.md", ValidatedTextField.HelpText());
 console.log("Generated docs")