Mention installation from source on main installation doc page. (#927)

probmods · Mar 22, 2019 · 6cf7b4b · 6cf7b4b
1 parent dfe9659
commit 6cf7b4b
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/docs/development/install.rst b/docs/development/install.rst
@@ -1,3 +1,5 @@
+.. _installation_from_source:
+
 Installation from GitHub
 ========================
 

diff --git a/docs/installation.rst b/docs/installation.rst
@@ -35,3 +35,11 @@ Updating
 WebPPL is in active development. To update WebPPL, run::
 
     npm update -g webppl
+
+From GitHub
+-----------
+
+WebPPL can also be installed directly from GitHub. This is typically
+only necessary in order to work on the development of WebPPL itself.
+See the :ref:`development documentation <installation_from_source>`
+for details.