文件名称：www:coq.inria.fr网站的源文件（静态部分）
文件大小：19.2MB
文件格式：ZIP
更新时间：2024-05-18 07:10:47
HTML
Coq网站 该存储库包含Coq网站的静态页面 make make run html之前的源代码在pages/和news/ ，而最终的html文件将在dest/进行汇编。 先决条件 html文件由。 yamlpp的副本包含在此存储库中，我们只需要一个OCaml顶层即可将其作为脚本运行。 如果您进一步修改源文件yamlpp.mll以自定义预处理，则还需要ocamllex来重新生成yamlpp.ml 。 如何编辑现有页面？ 编辑包含网页的源文件。 运行make并检查生成的文件是否正确。 如果有帮助，请make run启动一个小型本地Web服务器 提交更改并将其推送到主存储库。然后，应自动更新 （TODO） 如何建立新页面？ 在pages/添加新文件。 文件名由您决定，但请避免使用陌生的文件名。 pages/文件将由Yamlpp进行预处理（有关详细信息，请参见yamlpp-*/README