doc: better ordering of dependencies

leanprover · Nov 11, 2024 · 68943ae · 68943ae
1 parent fed3af3
commit 68943ae
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/README.md b/README.md
@@ -12,15 +12,15 @@ name = "docbuild"
 version = "0.1.0"
 defaultTargets = ["docbuild"]
 
+[[require]]
+name = "Your Library Name"
+path = "../"
+
 [[require]]
 scope = "leanprover"
 name = "doc-gen4"
 # Use revision v4.x if you are developing against a stable Lean version.
 rev = "main"
-
-[[require]]
-name = "Your Library Name"
-path = "../"
 ```
 3. Create a `.gitignore` file within `docbuild` with the following content:
 ```