summaryrefslogtreecommitdiff
path: root/docs/dev/install
diff options
context:
space:
mode:
authorAdam Tauber <asciimoo@gmail.com>2016-07-15 23:14:54 +0200
committerGitHub <noreply@github.com>2016-07-15 23:14:54 +0200
commitb60dd8b9bae0d9e5bef517cb2d9aadea161a626c (patch)
treeb0a09f669f188940eccc4ab6cf20eace0674c193 /docs/dev/install
parent7bd30fd21bbc23c485ac9fd77795314edb5dc665 (diff)
parented102117bc2893242876da2de85050cb538c2f78 (diff)
Merge pull request #628 from kvch/gh-pages
simplify index page of docs
Diffstat (limited to 'docs/dev/install')
-rw-r--r--docs/dev/install/installation.rst2
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/dev/install/installation.rst b/docs/dev/install/installation.rst
index cbbd25f57..b641a628e 100644
--- a/docs/dev/install/installation.rst
+++ b/docs/dev/install/installation.rst
@@ -1,3 +1,5 @@
+.. _installation:
+
Installation
============