关于文档

如何添加新的文档页面

首先，/docs 是文档网站的根目录，这意味着您希望向用户显示的任何文档页面都必须位于 /docs 目录下。

其次，将文档页面添加到位于 /docs/_data/navigation.yaml 的导航配置文件中。编辑目录，包含新创建文档页面的路径以及描述性标题。

然后，捕获补丁中所做的更改并提交拉取请求；一旦补丁合并到 onnx-mlir 代码库，导航面板上就会出现一个指向您提供的描述性标题所指定的文件的链接。