diff --git a/README.md b/README.md
index 8eb16217e3..0ee4c5b6c9 100644
--- a/README.md
+++ b/README.md
@@ -22,7 +22,7 @@ About
 
 - [Homepage](https://leanprover.github.io)
 - Theorem Proving in Lean: [HTML](https://leanprover.github.io/tutorial/index.html), [PDF](http://leanprover.github.io/tutorial/tutorial.pdf)
-- [Authors](doc/authors.md)
+- [Authors](http://leanprover.github.io/people/)
 - [Standard Library](library/library.md)
 - [HoTT Library](hott/hott.md)
 - [Short Tutorial](doc/lean/tutorial.org)
diff --git a/doc/authors.md b/doc/authors.md
deleted file mode 100644
index 583a883190..0000000000
--- a/doc/authors.md
+++ /dev/null
@@ -1,20 +0,0 @@
-Authors
--------
-
-The Lean theorem prover is being developed by
-
-- [Leonardo de Moura](http://research.microsoft.com/en-us/um/people/leonardo) (Microsoft Research)
-- [Soonho Kong](http://www.cs.cmu.edu/~soonhok) (CMU)
-
-The Lean standard library is being developed by
-
-- [Jeremy Avigad](http://www.andrew.cmu.edu/user/avigad) (CMU)
-- [Floris van Doorn](http://www.contrib.andrew.cmu.edu/~fpv/) (CMU)
-- [Jakob von Raumer](http://von-raumer.de/) (CMU)
-- [Leonardo de Moura](http://research.microsoft.com/en-us/um/people/leonardo) (Microsoft Research)
-
-Contributors
-
-- [Cody Roux](http://www.andrew.cmu.edu/user/croux/) (Draper)
-- [Robert Lewis](https://www.andrew.cmu.edu/user/rlewis1/Site/Home.html) (CMU)
-- Parikshit Khanna (Indian Institute of Technology, Kanpur)