From a96dc714ef2a51f701e7f23bf9c9ea76f47bbca9 Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Wed, 5 Jan 2022 11:48:14 +0100
Subject: [PATCH] manual: Add Other.

---
 manual.scrbl | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/manual.scrbl b/manual.scrbl
index 599685b..dc67fe9 100644
--- a/manual.scrbl
+++ b/manual.scrbl
@@ -216,6 +216,10 @@ Graph properties are not supported.
 		   [#:colors colors (HashTable Any Natural) #f])
 		   String]{}
 
+@subsection{Other}
+
+Auxiliary definitions are not supported.
+
 @section{License}
 
 Like the generic graph library, this library is licensed under the Apache