comment

anoma · Aug 1, 2024 · 55c558a · 55c558a
1 parent 6ec9882
commit 55c558a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)