ROSE编译器框架/待办事项

缺少什么（如果你愿意，你可以提供帮助）

如何备份/镜像此维基教科书？

以防万一此网站出现故障，如何下载此维基教科书的备份？

如何设置一个包含ROSE维基教科书的镜像维基网站？

维护印刷版本

可能会添加新的章节，但它们没有反映在一页印刷版本中。因此，需要通过包含更多章节或重新排列一页印刷版本中的章节顺序来定期进行同步。

观察

• 印刷版本类似于包含内容的源文件，每个包含的章节将具有第一级标题
• 因为印刷版本页面使用第一级标题（=）来包含所有章节，所以所有包含的页面/章节都不应包含任何第一级标题。

通过对工作原理的基本了解，您现在可以编辑印刷版本的维基页面

• 印刷版本

更多信息：https://wikibooks.cn/wiki/Help:Print_versions

维护更好的pdf文件

从印刷版本页面自动生成的pdf版本是基本的。它没有目录和分页等。

因此，我们使用手动过程来生成更好的pdf文件。我们需要偶尔重复此过程以获得最新的和更好的pdf文件。

以下是手动步骤

• 使用您的网络浏览器打开并保存印刷版本到您自己的计算机上，作为“完整网页”
• 使用您选择的与HTML兼容的文字处理器打开html文件，将html转换为文字处理器格式，并添加书籍的分页。
  • 在Microsoft Word中，可以通过以下方式完成
    • 打开保存的HTML文件
    • 将其保存为Word文件
    • 通过选择插入 > 字段 > 索引和目录 > 目录或对于Word 2012或更高版本选择首选项-> 目录来添加目录。
    • 将页码添加到页脚
    • 将其保存为pdf文件，文件名如ROSE_Compiler_Framework.pdf
    • 上传到维基教科书

要向您的维基教科书页面添加链接，请插入

{{PDF version|pdf file name without .pdf|size kb, number pages|file description}}

例如

{{PDF version|ROSE_Compiler_Framework|840 kb, 48 pages|ROSE_Compiler_Framework}}

有关pdf版本的更多背景信息：https://wikibooks.cn/wiki/Help:Print_versions

文档替代方案

1. Google Docs：评论、不同的输出格式、简单的协作 2. AsciiDoc