hide part i diff

GillianPlatform · Nov 19, 2024 · ccebe87 · ccebe87
1 parent 34a1de3
commit ccebe87
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 5 deletions.
diff --git a/sphinx/publications/gillian-part-1-diff.rst b/sphinx/publications/gillian-part-1-diff.rst
@@ -1,3 +1,5 @@
+:orphan:
+
 Differences between Paper and Implementation
 ============================================
 
@@ -262,4 +264,4 @@ Where ``Make_with_prefix`` is a functor that takes:
 
 and it returns an Allocator that allocates strings of the form ``PREFIX_A`` where ``PREFIX`` is the given prefix and ``A`` is a stringification of the allocated by ``AL``.
 
-In this case, as the ``AL`` parameter, we use ``Basic ()`` which instantiates an abstract allocator module that internally just allocates integers.
+In this case, as the ``AL`` parameter, we use ``Basic ()`` which instantiates an abstract allocator module that internally just allocates integers.
diff --git a/sphinx/publications/gillian-part-1.rst b/sphinx/publications/gillian-part-1.rst
@@ -29,7 +29,4 @@ Identifiers
 Notes
 -----
 
-.. toctree::
-  :maxdepth: 1
-
-  gillian-part-1-diff
+* :doc:`gillian-part-1-diff`