From a2224f9cdda4b4563dedfe50b0181ee00dec00b5 Mon Sep 17 00:00:00 2001
From: Neven Sajko <s@purelymail.com>
Date: Tue, 7 Oct 2025 19:29:56 +0200
Subject: [PATCH] reorder doc strings in documentation

---
 docs/src/index.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/docs/src/index.md b/docs/src/index.md
index ab0da74..fc0e3cb 100644
--- a/docs/src/index.md
+++ b/docs/src/index.md
@@ -9,6 +9,12 @@ Documentation for [GraphProperties](https://github.com/JuliaGraphs/GraphProperti
 ```@index
 ```
 
+```@docs
+GraphProperty
+PropertyComparison
+```
+
 ```@autodocs
 Modules = [GraphProperties]
+Filter = !(t -> t in (GraphProperty, PropertyComparison))
 ```