doc: re-order Rocq section alphabetically

2026-07-06 13:16:26 +02:00
parent a8fb4fb038
commit ac33ddde94
1 changed files with 1 additions and 1 deletions
@@ -56,7 +56,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
@@ -92,6 +91,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