From ca6e7881e8ff3132cbf4494a11c93e472f0c97a5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Zsolt=20Borb=C3=A9ly?=
 <zsborbely.u-szeged@partner.samsung.com>
Date: Fri, 12 May 2017 15:34:46 +0200
Subject: [PATCH] Add `category` property to each .md file for the webpage
 (#1818)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

JerryScript-DCO-1.0-Signed-off-by: Zsolt Borbély zsborbely.u-szeged@partner.samsung.com
---
 tools/update-webpage.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/tools/update-webpage.sh b/tools/update-webpage.sh
index adea40dbe..ec140c673 100755
--- a/tools/update-webpage.sh
+++ b/tools/update-webpage.sh
@@ -52,10 +52,14 @@ for docfile in $docs_dir/*.md; do
   permalink=`echo $docfile_base | cut -d'.' -f 2 | tr '[:upper:]' '[:lower:]'`
   missing_title=`echo $permalink | tr '-' ' '`
 
+  # the first three documents belong to the navigation bar
+  category=$([[ $docfile_base =~ ^0[1-3] ]] && echo "navbar" || echo "documents")
+
   # generate appropriate header for each *.md
   echo "---"                                             >  $gh_pages_dir/$docfile_base
   echo "layout: page"                                    >> $gh_pages_dir/$docfile_base
   echo "title: ${titles[$docfile_base]:-$missing_title}" >> $gh_pages_dir/$docfile_base
+  echo "category: ${category}"                           >> $gh_pages_dir/$docfile_base
   echo "permalink: /$permalink/"                         >> $gh_pages_dir/$docfile_base
   echo "---"                                             >> $gh_pages_dir/$docfile_base
   echo                                                   >> $gh_pages_dir/$docfile_base