diff --git a/docs/desktop/gnome/.pages b/docs/desktop/gnome/.pages
new file mode 100644
index 0000000000..ea1b80fdb9
--- /dev/null
+++ b/docs/desktop/gnome/.pages
@@ -0,0 +1,8 @@
+---
+nav:
+    - ... | dconf*.md
+    - ... | decibels*.md
+    - ... | decoder*.md
+    - ... | rdp-server*.md
+    - ... | x11vnc_plus_ssh_lan*.md
+    - ...