Add docs/ for HTML documentation