From e535bcc69144fc5788dfb8188c5df7e4ce4df69e Mon Sep 17 00:00:00 2001
From: Thomas Delteil <thomas.delteil1@gmail.com>
Date: Tue, 8 Oct 2019 13:34:28 -0700
Subject: [PATCH] nudge CI

---
 docs/static_site/src/assets/js/options.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/docs/static_site/src/assets/js/options.js b/docs/static_site/src/assets/js/options.js
index a476503b3415..ae955e469ec1 100644
--- a/docs/static_site/src/assets/js/options.js
+++ b/docs/static_site/src/assets/js/options.js
@@ -17,7 +17,9 @@
  * under the License.
  */
 
-/* Installation page display functions for install selector */
+/* Installation page display functions for install selector.
+   This utility allows direct links to specific install instructions.
+*/
 
 $(document).ready(function () {
     function label(lbl) {