From 21e0272f632700fe70c5cbe1ea5c4b73e8226f65 Mon Sep 17 00:00:00 2001 From: Jan Mas Rovira Date: Tue, 30 Jul 2024 17:01:50 +0200 Subject: [PATCH] comment --- src/Juvix/Compiler/Backend/Html/Data/Options.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Juvix/Compiler/Backend/Html/Data/Options.hs b/src/Juvix/Compiler/Backend/Html/Data/Options.hs index 049bbe16ce..fa921a9b94 100644 --- a/src/Juvix/Compiler/Backend/Html/Data/Options.hs +++ b/src/Juvix/Compiler/Backend/Html/Data/Options.hs @@ -70,7 +70,7 @@ data HtmlKind = HtmlDoc | HtmlSrc | -- | Only source is generated but without the -src suffix. TODO I think this - -- option is only useful in VSCode. This constructor should be removed and + -- option is only useful for mkDocs. This constructor should be removed and -- the logic should be handled from the VSCode plugin. HtmlOnly deriving stock (Data)