From 6f262aea499d24b5d54c568a65db4af25258fe9e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Zsolt=20Borb=C3=A9ly?= Date: Thu, 1 Sep 2016 16:08:53 +0200 Subject: [PATCH] Include Port API documentation to webpage-generator script 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 | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tools/update-webpage.sh b/tools/update-webpage.sh index 391dc6230..740048e5d 100755 --- a/tools/update-webpage.sh +++ b/tools/update-webpage.sh @@ -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`