diff options
author | carregal <carregal> | 2008-05-08 18:45:15 +0000 |
---|---|---|
committer | carregal <carregal> | 2008-05-08 18:45:15 +0000 |
commit | 21412ad14cb4f0582105800cab4358659bed55e4 (patch) | |
tree | c251ae7efcb2ce5335b4b5bc2eafe32456dc65b2 | |
parent | 5c7eb0e1ff456247745e93fd72217cb4b31c2f63 (diff) | |
download | luafilesystem-21412ad14cb4f0582105800cab4358659bed55e4.tar.gz luafilesystem-21412ad14cb4f0582105800cab4358659bed55e4.tar.bz2 luafilesystem-21412ad14cb4f0582105800cab4358659bed55e4.zip |
Mentioning the need of using the same C runtime (Ignacio Burgueño)
-rw-r--r-- | doc/us/manual.html | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/us/manual.html b/doc/us/manual.html index efae236..9d53037 100644 --- a/doc/us/manual.html +++ b/doc/us/manual.html | |||
@@ -80,6 +80,9 @@ The file has some definitions like paths to the external libraries, | |||
80 | compiler options and the like. | 80 | compiler options and the like. |
81 | </p> | 81 | </p> |
82 | 82 | ||
83 | <p>On Windows, the C runtime used to compile LuaFileSystem must be the same | ||
84 | runtime that Lua uses, or some LuaFileSystem functions will not work.</p> | ||
85 | |||
83 | <h2><a name="installation"></a>Installation</h2> | 86 | <h2><a name="installation"></a>Installation</h2> |
84 | 87 | ||
85 | <p>The easiest way to install LuaFileSystem is to use LuaRocks:</p> | 88 | <p>The easiest way to install LuaFileSystem is to use LuaRocks:</p> |
@@ -248,7 +251,7 @@ LuaFileSystem offers the following functions: | |||
248 | 251 | ||
249 | <div id="about"> | 252 | <div id="about"> |
250 | <p><a href="http://validator.w3.org/check?uri=referer">Valid XHTML 1.0!</a></p> | 253 | <p><a href="http://validator.w3.org/check?uri=referer">Valid XHTML 1.0!</a></p> |
251 | <p><small>$Id: manual.html,v 1.42 2008/03/24 18:17:59 carregal Exp $</small></p> | 254 | <p><small>$Id: manual.html,v 1.43 2008/05/08 18:45:15 carregal Exp $</small></p> |
252 | </div> <!-- id="about" --> | 255 | </div> <!-- id="about" --> |
253 | 256 | ||
254 | </div> <!-- id="container" --> | 257 | </div> <!-- id="container" --> |