Removed out-of-date doxygen comment #745

Job	Run time
build (ubuntu-24.04, 12.6.0, 13, bash, Unix Makefiles)	1m 33s
build (ubuntu-24.04, 12.5.1, 13, bash, Unix Makefiles)	1m 33s
build (ubuntu-20.04, 12.6.0, 10, bash, Unix Makefiles)	1m 34s
build (ubuntu-20.04, 12.5.1, 10, bash, Unix Makefiles)	1m 34s
build (ubuntu-20.04, 12.4.1, 10, bash, Unix Makefiles)	1m 34s
build (ubuntu-20.04, 12.3.1, 10, bash, Unix Makefiles)	1m 27s
build (ubuntu-20.04, 12.2.2, 10, bash, Unix Makefiles)	1m 41s
build (ubuntu-20.04, 12.1.1, 10, bash, Unix Makefiles)	1m 29s
build (ubuntu-20.04, 12.0.1, 10, bash, Unix Makefiles)	1m 22s
build (ubuntu-20.04, 11.8, 10, bash, Unix Makefiles)	1m 24s
build (ubuntu-20.04, 11.7, 10, bash, Unix Makefiles)	1m 23s
build (ubuntu-20.04, 11.6.2, 10, bash, Unix Makefiles)	1m 23s
build (ubuntu-20.04, 11.6.1, 10, bash, Unix Makefiles)	1m 27s
build (ubuntu-20.04, 11.6, 10, bash, Unix Makefiles)	1m 25s
build (ubuntu-20.04, 11.5, 10, bash, Unix Makefiles)	1m 26s
build (ubuntu-20.04, 11.4, 10, bash, Unix Makefiles)	1m 22s
build (ubuntu-20.04, 11.3, 9, bash, Unix Makefiles)	41s
build (ubuntu-20.04, 11.2, 9, bash, Unix Makefiles)	1m 18s
build (ubuntu-20.04, 11.1, 9, bash, Unix Makefiles)	1m 9s
build (ubuntu-20.04, 11.0, 9, bash, Unix Makefiles)	1m 9s
	27m 54s

Provide feedback