diff --git a/dev-setup.html b/dev-setup.html
index ab9aa27..b623ae7 100644
--- a/dev-setup.html
+++ b/dev-setup.html
@@ -47,7 +47,16 @@
           <div class="navbar-collapse collapse">
             <ul class="nav navbar-nav">
               <li><a href="https://asterixdb.incubator.apache.org/download.html">Download</a></li>
-              <li><a href="http://asterixdb.ics.uci.edu/documentation/index.html">Documentation  <i class="fa fa-external-link fa-sm"></i></a></li>
+              <li class="dropdown">
+                <a href="#" class="dropdown-toggle" data-toggle="dropdown" role="button" aria-expanded="false">Documentation<span class="caret"></span></a>
+                <ul class="dropdown-menu" role="menu">
+                  <li class="dropdown-header">Stable release</li>
+                  <li><a href="http://asterixdb.ics.uci.edu/documentation/index.html">Documentation for 0.8.6<i class="fa fa-external-link fa-sm"></i></a></li>
+                  <li class="divider"></li>
+                  <li class="dropdown-header">Snapshot release</li>
+                  <li><a href="https://asterix-jenkins.ics.uci.edu/job/asterix-test-full/site/asterix-doc/index.html">Documentation for 0.8.7-SNAPSHOT  <i class="fa fa-external-link fa-sm"></i></a></li>
+                </ul>
+              </li>
               <li><a href="https://asterixdb.incubator.apache.org/about.html">About</a></li>
               <li><a href="https://asterixdb.incubator.apache.org/community.html">Community</a></li>
               <li class="dropdown">