docs: re-order Rocq section alphabetically (#538947)

2026-07-10 15:29:03 +00:00
parent ee182c7e73 ac33ddde94
commit 2c75f32887
1 changed files with 1 additions and 1 deletions
@@ -60,7 +60,6 @@ android.section.md
 astal.section.md
 beam.section.md
 chicken.section.md
-rocq.section.md
 cosmic.section.md
 crystal.section.md
 cuda.section.md
@@ -96,6 +95,7 @@ pkg-config.section.md
 python.section.md
 qt.section.md
 r.section.md
+rocq.section.md
 ruby.section.md
 rust.section.md
 scheme.section.md