build(update-mathlib): fix installation and documentation

leanprover-community · Feb 8, 2019 · 814cb03 · 814cb03
1 parent 64065f4
commit 814cb03
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -23,7 +23,7 @@ not specific to mathlib.
 
 ## Obtaining binaries
 
-### Install the `update-mathlib`
+### Install the `update-mathlib` script
 
 *Linux/OS X/Cygwin/MSYS2/git bash*: run the following command in a terminal:
 

diff --git a/scripts/remote-install-update-mathlib.sh b/scripts/remote-install-update-mathlib.sh
@@ -0,0 +1,5 @@
+#! /bin/sh
+pip3 install toml PyGithub urllib3 certifi
+curl -o update-mathlib.py https://raw.githubusercontent.com/leanprover-community/mathlib/master/scripts/update-mathlib.py
+chmod +x update-mathlib.py
+mv update-mathlib.py /usr/local/bin/update-mathlib