Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Without it, doxygen (at least, version 1.9.8) gives the following error: unable to resolve reference to '/liboqs/CONFIGURE.md' for \ref command This makes scripts/run_doxygen.sh return exit code 1 instead of 0, and causes `ninja gen_docs` to fail
- Loading branch information