Change the file extension of proof outlines in the manual

potassco · Aug 21, 2024 · 02fc07d · 02fc07d
1 parent 04e930e
commit 02fc07d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/res/manual/src/SUMMARY.md b/res/manual/src/SUMMARY.md
@@ -15,6 +15,6 @@
   - [Program (.lp)]()
   - [Specification (.spec)]()
   - [User Guide (.ug)]()
-  - [Proof Outline (.help.spec)]()
+  - [Proof Outline (.po)]()
 - [Output File Format]()
   - [TPTP Problem (.p)]()