update selected option in older doc set
diff --git a/versions/v1_4_0/mynewt-documentation/docs/themes/mynewt/versions.html b/versions/v1_4_0/mynewt-documentation/docs/themes/mynewt/versions.html
index 4890fb7..9475c0b 100644
--- a/versions/v1_4_0/mynewt-documentation/docs/themes/mynewt/versions.html
+++ b/versions/v1_4_0/mynewt-documentation/docs/themes/mynewt/versions.html
@@ -1,9 +1,9 @@
<!-- Note: only works when deployed -->
<select class="form-control" onchange="if (this.value) window.location.href=this.value">
- <option value="/latest" selected>
+ <option value="/latest">
Version: latest
</option>
- <option value="/v1_4_0">
+ <option value="/v1_4_0" selected>
Version: 1.4.0
</option>
<option value="/v1_3_0/os/introduction">