diff options
| author | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | 2019-05-28 16:02:01 -0300 |
|---|---|---|
| committer | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | 2019-05-28 16:02:01 -0300 |
| commit | ec24caa52eebabbba29d96875c8c62395849b5e2 (patch) | |
| tree | 1fff8c939c2fe6c7177437ef4ad950e6469dfd4d | |
| parent | 9dac0b6d8d22705f27b139923948ab050c12f6f5 (diff) | |
| download | lpeg-ec24caa52eebabbba29d96875c8c62395849b5e2.tar.gz lpeg-ec24caa52eebabbba29d96875c8c62395849b5e2.tar.bz2 lpeg-ec24caa52eebabbba29d96875c8c62395849b5e2.zip | |
Added small note about LuaRocks in the Web page
| -rw-r--r-- | lpeg.html | 7 |
1 files changed, 7 insertions, 0 deletions
| @@ -1405,6 +1405,13 @@ and the new term for each repetition. | |||
| 1405 | <p>LPeg | 1405 | <p>LPeg |
| 1406 | <a href="http://www.inf.puc-rio.br/~roberto/lpeg/lpeg-1.0.2.tar.gz">source code</a>.</p> | 1406 | <a href="http://www.inf.puc-rio.br/~roberto/lpeg/lpeg-1.0.2.tar.gz">source code</a>.</p> |
| 1407 | 1407 | ||
| 1408 | <p> | ||
| 1409 | Probably, the easiest way to install LPeg is with | ||
| 1410 | <a href="https://luarocks.org/">LuaRocks</a>. | ||
| 1411 | If you have LuaRocks installed, | ||
| 1412 | the following command is all you need to install LPeg: | ||
| 1413 | <pre>$ luarocks install lpeg</pre> | ||
| 1414 | |||
| 1408 | 1415 | ||
| 1409 | <h2><a name="license">License</a></h2> | 1416 | <h2><a name="license">License</a></h2> |
| 1410 | 1417 | ||