From 21de343ac50f0fd4448f706d28abf74f56f8bbfc Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Wed, 31 Jan 2024 12:37:23 +0100
Subject: fix doc build

---
 doc/mach.texi | 1 +
 1 file changed, 1 insertion(+)

(limited to 'doc/mach.texi')

diff --git a/doc/mach.texi b/doc/mach.texi
index f35fc6bb..d0f56eca 100644
--- a/doc/mach.texi
+++ b/doc/mach.texi
@@ -3529,6 +3529,7 @@ Both @var{address} and @var{size} have to be aligned on @code{vm_page_size}.
 caller and returned filled with the physical page numbers. @var{pagesCnt} is
 supplied as the maximum number of elements in the @var{pages} array.  On
 return, it contains the actual number of integers in @var{pages}.
+@end deftypefun
 
 
 @node External Memory Management
-- 
cgit v1.2.3