Merge pull request #4860 from alexhumphreys/patch-1

Update docs link in FAQ
idris-lang · May 23, 2020 · aa88d9b · aa88d9b
2 parents 2e46fd2 + 5d1a8f1
commit aa88d9b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/faq/faq.rst b/docs/faq/faq.rst
@@ -37,7 +37,7 @@ Is there some documentation for the standard lib? List of functions?
 =====================================================================
 
 API documentation for the shipped packages is listed on `the
-documentation page <https://www.idris-lang.org/documentation/>`_.
+documentation page <https://www.idris-lang.org/pages/documentation.html>`_.
 
 Unfortunately, the default prelude and shipped packages for `Idris`
 are not necessarily complete with regards to documentation.  Other