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"