From 4860cc715613bee1ab9527d10f8a654e5a29a6be Mon Sep 17 00:00:00 2001 From: Peter van Heusden Date: Sat, 25 Jun 2016 23:42:43 +0200 Subject: [PATCH] Added correct link to index.rst --- doc/source/dev/index.rst | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/source/dev/index.rst b/doc/source/dev/index.rst index e90369e0805..b5e44143c21 100644 --- a/doc/source/dev/index.rst +++ b/doc/source/dev/index.rst @@ -11,4 +11,5 @@ Additionally there is an `FAQ`_ document for new Galaxy developers answering com .. _Codebase Documentation: ../lib/modules.html .. _API Documentation: ../api_doc.html +.. _Interactive Environments: interactive_environments.html .. _FAQ: faq.html