diff options
Diffstat (limited to 'docs')
-rw-r--r-- | docs/index.html | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/docs/index.html b/docs/index.html index 47dc47c..92cc38a 100644 --- a/docs/index.html +++ b/docs/index.html | |||
@@ -500,14 +500,16 @@ | |||
500 | <table style="width:100%"> | 500 | <table style="width:100%"> |
501 | <tr> | 501 | <tr> |
502 | <td style="width:5%"></td> | 502 | <td style="width:5%"></td> |
503 | <td>(nothing)</td> | 503 | <td> |
504 | <tt>nil</tt> | ||
505 | </td> | ||
504 | <td style="width:5%"></td> | 506 | <td style="width:5%"></td> |
505 | <td>no standard libraries (default)</td> | 507 | <td>no standard libraries (default)</td> |
506 | </tr> | 508 | </tr> |
507 | <tr> | 509 | <tr> |
508 | <td /> | 510 | <td /> |
509 | <td> | 511 | <td> |
510 | <tt>"base"</tt> or <tt>""</tt> | 512 | <tt>"base"</tt> |
511 | </td> | 513 | </td> |
512 | <td /> | 514 | <td /> |
513 | <td> | 515 | <td> |
@@ -658,6 +660,7 @@ | |||
658 | </p> | 660 | </p> |
659 | 661 | ||
660 | <p> | 662 | <p> |
663 | Any non-<tt>nil</tt> value causes initialization of <tt>"base"</tt> and <tt>"jit"</tt> (the latter only for LuaJIT-based builds).<br/> | ||
661 | Initializing the standard libs takes a bit of time at each lane invocation. This is the main reason why "no libraries" is the default. | 664 | Initializing the standard libs takes a bit of time at each lane invocation. This is the main reason why "no libraries" is the default. |
662 | </p> | 665 | </p> |
663 | 666 | ||