Include Port API documentation to webpage-generator script

JerryScript-DCO-1.0-Signed-off-by: Zsolt Borbély zsborbely.u-szeged@partner.samsung.com
2016-09-01 16:08:53 +02:00
parent 228f6f75f0
commit 6f262aea49
1 changed files with 2 additions and 0 deletions
@@ -27,6 +27,7 @@ GETTING_STARTED_MD="01.GETTING-STARTED.md"
 API_REFERENCE_MD="02.API-REFERENCE.md"
 API_EXAMPLES_MD="03.API-EXAMPLE.md"
 INTERNALS_MD="04.INTERNALS.md"
+PORT_API_MD="05.PORT-API.md"

 declare -A titles

@@ -34,6 +35,7 @@ titles[$GETTING_STARTED_MD]="Getting Started"
 titles[$API_REFERENCE_MD]="API Reference"
 titles[$API_EXAMPLES_MD]="API Examples"
 titles[$INTERNALS_MD]="Internals"
+titles[$PORT_API_MD]="Port API"

 for docfile in $docs_dir/*.md; do
  docfile_base=`basename $docfile`