publications order

GillianPlatform · Nov 1, 2024 · c6802c5 · c6802c5
1 parent 86bc804
commit c6802c5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/sphinx/publications/index.rst b/sphinx/publications/index.rst
@@ -4,8 +4,8 @@ Publications
 .. toctree::
    :maxdepth: 1
 
-   javert
    cosette
+   javert
    javert-2
    gillian-part-1
    gillian-part-2