From 5a1920db58e4aafea5fd0291aec702ca331ab5e1 Mon Sep 17 00:00:00 2001
From: Christian Clauss <cclauss@me.com>
Date: Sat, 27 Apr 2024 01:07:06 +0200
Subject: [PATCH] python 3 script compatibility: file() was removed in Python 3
 in favor of open() (#898)

---
 doc/utils/checkfiledocs.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/utils/checkfiledocs.py b/doc/utils/checkfiledocs.py
index 14f2418a4..cd0fc0657 100644
--- a/doc/utils/checkfiledocs.py
+++ b/doc/utils/checkfiledocs.py
@@ -72,7 +72,7 @@ def printError( f, message ):
     if not doxygenHtmlDocFileName( os.path.basename(f) ) in docFiles:
         printError( f, "no doxygen generated doc page" )
 
-    s = file( f, 'rt' ).read()
+    s = open( f, 'rt' ).read()
 
     if not '/**' in s:
         printError( f, "no doxygen /** block" )