From db17771288314153ef59b6abc990b39ed95ae6e4 Mon Sep 17 00:00:00 2001 From: "Brandon D. Northcutt" Date: Thu, 15 Jun 2017 19:30:06 -0700 Subject: [PATCH] Moved Docker dockmentation to Installation and Quickstart, again. --- drake/doc/installation.rst | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/drake/doc/installation.rst b/drake/doc/installation.rst index f717570f7f19..23f1055e0215 100644 --- a/drake/doc/installation.rst +++ b/drake/doc/installation.rst @@ -12,10 +12,10 @@ Choose an installation method You can choose to download a pre-compiled version of Drake, or to build it from source. The pre-compiled versions are much easier to use, but the source version is easier to update and will make it easier for you to contribute your fixes/improvements. .. toctree:: - :maxdepth: 1 + :maxdepth: 1 - from_binary - from_source + from_binary + from_source docker