get 100.yaml, overview.yaml and undergrad.yaml from mathlib_docs

.gitignore

@@ -9,3 +9,8 @@ build/
 .vscode
 bootstrap-*
 export_db.json.gz
+data/100.yaml
+data/overview.yaml
+data/undergrad.yaml
+data/project_history.yaml
+data/projects.yaml

README.md

@@ -15,7 +15,7 @@ In order to rebuild the CSS from SCSS, you also need:
 The website relies on several components which are built in other repositories:
 - [`mathlib_stats`](https://github.com/leanprover-community/mathlib_stats)
 - [`lean-web-editor`](https://github.com/leanprover-community/lean-web-editor)
-- [`mathlib_docs`](https://github.com/leanprover-community/mathlib_docs) (built by CI in mathlib itself)
+- [`mathlib_docs`](https://github.com/leanprover-community/mathlib_docs) (built by CI in [doc-gen](https://github.com/leanprover-community/doc-gen/))
 
 ## Building