Update the webpage (#1421)

* Re-generate the files with `tools/update-webpage.sh` * Add the document about reference counting * Introduce a drop down list for documents JerryScript-DCO-1.0-Signed-off-by: Zsolt Borbély zsborbely.u-szeged@partner.samsung.com
2016-11-07 15:43:54 +01:00
parent 724c3cc930
commit 15a7d7e9c3
6 changed files with 207 additions and 11 deletions
@@ -67,13 +67,13 @@ The default libc is jerry-libc, but you can use compiler-default libc or an exte
 - compiler-default libc:

 ```bash
-python tools/build.py --jerry-libc=off --compiler-default-libc=on
+python tools/build.py --jerry-libc=off
 ```

 - external libc:

 ```bash
-python tools/build.py --jerry-libc=off --compiler-default-libc=off --compile-flag="-I/path/to/libc/include"
+python tools/build.py --jerry-libc=off --compile-flag="-nostdlib -I/path/to/ext-libc/include" --link-lib="-lext-c"
 ```

 **Add toolchain file**