Merge pull request cloudwu#38 from peimin/gh-pages

修正一些错别字

manual.html

@@ -6325,9 +6325,9 @@ <h1>6 &ndash; <a name="6">标准库</a></h1>
 
 <li>输入输出 (<a href="#6.8">&sect;6.8</a>);</li>
 
-<li>操作系统设施 (<a href="#6.9">&sect;6.9</a>);</li>
+<li>操作系统库 (<a href="#6.9">&sect;6.9</a>);</li>
 
-<li>调试设施 (<a href="#6.10">&sect;6.10</a>).</li>
+<li>调试库 (<a href="#6.10">&sect;6.10</a>).</li>
 
 </ul><p>
 除了基础库和包管理库，
@@ -6921,7 +6921,7 @@ <h2>6.2 &ndash; <a name="6.2">协程管理</a></h2>
 <h2>6.3 &ndash; <a name="6.3">模块</a></h2>
 
 <p>
-包管理库提供了从 Lua 中加载模块的基础设施。
+包管理库提供了从 Lua 中加载模块的基础库。
 只有一个导出函数直接放在全局环境中：
 <a href="#pdf-require"><code>require</code></a>。
 所有其它的部分都导出在表 <a name="pdf-package"><code>package</code></a> 中。
@@ -8352,7 +8352,7 @@ <h2>6.7 &ndash; <a name="6.7">数学函数</a></h2>
 
 
 
-<h2>6.8 &ndash; <a name="6.8">输入输出设施</a></h2>
+<h2>6.8 &ndash; <a name="6.8">输入输出库</a></h2>
 
 <p>
 I/O 库提供了两套不同风格的文件处理接口。
@@ -8734,7 +8734,7 @@ <h2>6.8 &ndash; <a name="6.8">输入输出设施</a></h2>
 
 
 
-<h2>6.9 &ndash; <a name="6.9">操作系统设施</a></h2>
+<h2>6.9 &ndash; <a name="6.9">操作系统库</a></h2>
 
 <p>
 这个库都通过表 <a name="pdf-os"><code>os</code></a> 实现。