fixes compilation error due to moved docs folder