archive-gh-me/jerryscript
1
0
Fork 0
mirror of https://github.com/jerryscript-project/jerryscript.git synced 2025-12-15 16:29:21 +00:00
Code Issues Projects Releases Wiki Activity

Add category property to each .md file for the webpage (#1818)

Browse Source 
JerryScript-DCO-1.0-Signed-off-by: Zsolt Borbély zsborbely.u-szeged@partner.samsung.com
This commit is contained in:
Zsolt Borbély 2017-05-12 15:34:46 +02:00 committed by GitHub
parent 91b06726bb
commit ca6e7881e8
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tools/update-webpage.sh
View File

@ -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