diff options
author | Mike Pall <mike> | 2020-10-12 16:11:32 +0200 |
---|---|---|
committer | Mike Pall <mike> | 2020-10-12 16:11:32 +0200 |
commit | 050466552bf7eb8b7944aa52c93b45326ae14d7a (patch) | |
tree | f92ad9dd6963ffc3168ea46bed892894adcc7339 /doc/running.html | |
parent | 5c46f47736f7609be407c88d531ecd1689d40a79 (diff) | |
download | luajit-050466552bf7eb8b7944aa52c93b45326ae14d7a.tar.gz luajit-050466552bf7eb8b7944aa52c93b45326ae14d7a.tar.bz2 luajit-050466552bf7eb8b7944aa52c93b45326ae14d7a.zip |
Minor changes and https-ify links.
Diffstat (limited to 'doc/running.html')
-rw-r--r-- | doc/running.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/running.html b/doc/running.html index a8c71af0..07fa0099 100644 --- a/doc/running.html +++ b/doc/running.html | |||
@@ -87,7 +87,7 @@ The <tt>luajit</tt> stand-alone executable is just a slightly modified | |||
87 | version of the regular <tt>lua</tt> stand-alone executable. | 87 | version of the regular <tt>lua</tt> stand-alone executable. |
88 | It supports the same basic options, too. <tt>luajit -h</tt> | 88 | It supports the same basic options, too. <tt>luajit -h</tt> |
89 | prints a short list of the available options. Please have a look at the | 89 | prints a short list of the available options. Please have a look at the |
90 | <a href="https://www.lua.org/manual/5.1/manual.html#6">Lua manual</a> | 90 | <a href="https://www.lua.org/manual/5.1/manual.html#6"><span class="ext">»</span> Lua manual</a> |
91 | for details. | 91 | for details. |
92 | </p> | 92 | </p> |
93 | <p> | 93 | <p> |