Remove empty stub pages (#100)

rems-project · Nov 14, 2024 · c34e846 · c34e846
1 parent e152e81
commit c34e846
Show file tree

Hide file tree

Showing 6 changed files with 2 additions and 25 deletions.
diff --git a/docs/README.md b/docs/README.md
@@ -28,10 +28,10 @@ appreciated!
 
     ---
 
-    Check out the Hello World tutorial to write, test, and verify your first
+    Check out the *Basic Usage* tutorial to write, test, and verify your first
     spec
 
-    [:octicons-arrow-right-24: Hello World](getting-started/hello-world.md)
+    [:octicons-arrow-right-24: Basic Usage](getting-started/tutorials/basic-usage.md)
 
 -   :material-format-font:{ .lg .middle } __Tutorials__
 

diff --git a/docs/getting-started/hello-world.md b/docs/getting-started/hello-world.md
diff --git a/docs/help/README.md b/docs/help/README.md
diff --git a/docs/testing/README.md b/docs/testing/README.md
diff --git a/docs/verification/README.md b/docs/verification/README.md
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -98,7 +98,6 @@ nav:
   - Getting started:
     - README.md
     - Installation: getting-started/installation.md
-    - "Hello world": getting-started/hello-world.md
     - Tutorials:
       - getting-started/tutorials/README.md
       - "Basic usage": getting-started/tutorials/basic-usage.md
@@ -131,12 +130,6 @@ nav:
     - Scoping: specifications/scoping.md
     - "Tactics (proof hints)": specifications/tactics.md
     - Interactive theorem proving: specifications/interactive-theorem-proving.md
-  - Testing:
-    - testing/README.md
-  - Verification:
-    - verification/README.md
   - Reference:
     - reference/README.md
-  - Help:
-    - help/README.md