From 93eb35081fb34587a608a985ad8dbb6393cd95ad Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Zsolt=20Borb=C3=A9ly?= Date: Thu, 16 Feb 2017 17:39:19 +0100 Subject: [PATCH] Add Debugger documentation to webpage-generator script (#1587) 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 add5f6349..62aade164 100755 --- a/tools/update-webpage.sh +++ b/tools/update-webpage.sh @@ -28,12 +28,14 @@ API_EXAMPLES_MD="03.API-EXAMPLE.md" INTERNALS_MD="04.INTERNALS.md" PORT_API_MD="05.PORT-API.md" REFERENCE_COUNTING_MD="06.REFERENCE-COUNTING.md" +DEBUGGER_MD="07.DEBUGGER.md" declare -A titles titles[$GETTING_STARTED_MD]="Getting Started" titles[$API_REFERENCE_MD]="API Reference" titles[$API_EXAMPLES_MD]="API Examples" +titles[$DEBUGGER_MD]="Debugger" titles[$INTERNALS_MD]="Internals" titles[$PORT_API_MD]="Port API" titles[$REFERENCE_COUNTING_MD]="Reference counting"