Update docs header to have stable and unstable docs, fix download URL
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">