Actually named `html` as set in doxygen configuration file, rename it `documentation`. Modify accordingly all doc text everywhere.
Activity
schmouk commentedon Oct 21, 2025
Fixed.
#233-rename documentation directory