From 4a68978e37df1da2c7f33a6ab1cc2f7a47cc01b1 Mon Sep 17 00:00:00 2001 From: Brant Knudson Date: Mon, 29 Feb 2016 16:32:49 -0600 Subject: [PATCH] Update developer docs for ubuntu 15.10 The same instructions for ubuntu 14.04 work for 15.10. Change-Id: I06294894041a72fff377649ddfb47456ff12ba07 --- doc/source/devref/development.environment.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/source/devref/development.environment.rst b/doc/source/devref/development.environment.rst index 0470c9b4b4..500815880a 100644 --- a/doc/source/devref/development.environment.rst +++ b/doc/source/devref/development.environment.rst @@ -85,7 +85,7 @@ extension, PyPi) cannot satisfy. These dependencies should be installed prior to using `pip`, and the installation method may vary depending on your platform. -Ubuntu 14.04: +Ubuntu 14.04, 15.10: .. code-block:: bash