Update docs/howto/judoc.md

anoma · Nov 29, 2023 · c270b9b · c270b9b
1 parent 00da0f7
commit c270b9b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/howto/judoc.md b/docs/howto/judoc.md
@@ -28,6 +28,7 @@ For more information about the syntax of the `Judoc` markup language, you can
 refer to its [`reference`](../reference/judoc.md).
 
 ## Generating html
+
 As mentioned before, we can generate html documentation by running the following command:
 ```
 juvix html Main.juvix --open