From d6ece561b764ef6e1d79d685e781228b809db75b Mon Sep 17 00:00:00 2001
From: Ashwin Maroli <ashmaroli@users.noreply.github.com>
Date: Sun, 7 Apr 2019 16:23:57 +0530
Subject: [PATCH] Simply couple of includes in the docs site (#7607)

Merge pull request 7607
---
 docs/_includes/docs_contents.html        | 6 +-----
 docs/_includes/docs_contents_mobile.html | 6 +-----
 docs/_includes/step-index.html           | 2 --
 3 files changed, 2 insertions(+), 12 deletions(-)

diff --git a/docs/_includes/docs_contents.html b/docs/_includes/docs_contents.html
index 7a966fc1..c5dd014e 100644
--- a/docs/_includes/docs_contents.html
+++ b/docs/_includes/docs_contents.html
@@ -11,11 +11,7 @@
             {% if page.url contains p.url %}current{% endif %}
           {% endif %}">
             <a href="{{ p.url }}">
-              {% if p.menu_name %}
-                {{ p.menu_name }}
-              {% else %}
-                {{ p.title }}
-              {% endif %}
+              {{ p.menu_name | default: p.title }}
             </a>
           </li>
         {% endfor %}
diff --git a/docs/_includes/docs_contents_mobile.html b/docs/_includes/docs_contents_mobile.html
index 9e93db6f..8739a9c9 100644
--- a/docs/_includes/docs_contents_mobile.html
+++ b/docs/_includes/docs_contents_mobile.html
@@ -6,11 +6,7 @@
       {% for item in section.docs %}
         {% assign p = site.documents | where: "url", item.link | first %}
         <option value="{{ p.url }}">
-          {% if p.menu_name %}
-            {{ p.menu_name }}
-          {% else %}
-            {{ p.title }}
-          {% endif %}
+          {{ p.menu_name | default: p.title }}
         </option>
       {% endfor %}
     </optgroup>
diff --git a/docs/_includes/step-index.html b/docs/_includes/step-index.html
index e05fd525..eb03b551 100644
--- a/docs/_includes/step-index.html
+++ b/docs/_includes/step-index.html
@@ -1,5 +1,3 @@
-
-
 {% assign docs = site.docs | where_exp: "doc", "doc.url contains '/step-by-step/'" %}
 
 {% for tutorial in tutorials %}