Fix nist path in Doxyfile