From e76d44a2ee037548eaaff2cbd8dfb782d8a841d0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Zsolt=20Borb=C3=A9ly?= Date: Fri, 12 May 2017 09:51:00 +0200 Subject: [PATCH] Add docs about extensions to webpage-generator script (#1811) 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 6a8f27c8b..adea40dbe 100755 --- a/tools/update-webpage.sh +++ b/tools/update-webpage.sh @@ -30,6 +30,8 @@ PORT_API_MD="05.PORT-API.md" REFERENCE_COUNTING_MD="06.REFERENCE-COUNTING.md" DEBUGGER_MD="07.DEBUGGER.md" CODING_STANDARDS_MD="08.CODING-STANDARDS.md" +EXT_REFERENCE_ARG_MD="09.EXT-REFERENCE-ARG.md" +EXT_REFERENCE_HANDLER_MD="10.EXT-REFERENCE-HANDLER.md" declare -A titles @@ -41,6 +43,8 @@ titles[$PORT_API_MD]="Port API" titles[$REFERENCE_COUNTING_MD]="Reference Counting" titles[$DEBUGGER_MD]="Debugger" titles[$CODING_STANDARDS_MD]="Coding Standards" +titles[$EXT_REFERENCE_ARG_MD]="'Extension API: Argument Validation'" +titles[$EXT_REFERENCE_HANDLER_MD]="'Extension API: External Function Handlers'" for docfile in $docs_dir/*.md; do docfile_base=`basename $docfile`