Generating the documentation results in a segmentation fault on Ubuntu 24.04

[mlaveaux]

It seems like Doxygen version 1.9.8 segfaults while generating the documentation. This is the end of the log:

#15 4.308 /root/mcrl2/libraries/lts/include/mcrl2/lts/detail/liblts_pbisim_bem.h:482: warning: Found unknown command '\detail'
#15 4.308 /root/mcrl2/libraries/data/include/mcrl2/data/detail/prover/induction.h:179: warning: Found unknown command '\requires'
#15 4.308 /root/mcrl2/libraries/lts/include/mcrl2/lts/detail/liblts_tau_star_reduce.h:31: warning: Found unknown command '\parameter'
#15 4.308 /root/mcrl2/libraries/lts/include/mcrl2/lts/detail/liblts_tau_star_reduce.h:32: warning: Found unknown command '\parameter'
#15 4.308 Segmentation fault
#15 4.308 make[3]: *** [doc/sphinx/CMakeFiles/doxygen_clean.dir/build.make:72: doc/sphinx/CMakeFiles/doxygen_clean] Error 139
#15 4.308 make[2]: *** [CMakeFiles/Makefile2:12664: doc/sphinx/CMakeFiles/doxygen_clean.dir/all] Error 2
#15 4.308 make[1]: *** [CMakeFiles/Makefile2:12723: doc/sphinx/CMakeFiles/doc.dir/rule] Error 2
#15 4.308 make: *** [Makefile:4151: doc] Error 2