ドキュメントについて

新しいドキュメントページを追加する方法

まず、/docs はドキュメント Web サイトのルートディレクトリです。つまり、ユーザーに表示したいドキュメントページは /docs 内にある必要があります。

次に、/docs/_data/navigation.yaml にあるナビゲーション構成ファイルにドキュメントページを追加します。目次に、記述的なタイトルが付けられた、新しく作成されたドキュメントページへのパスを追加します。

その後、行われた変更をパッチに取り込み、プルリクエストを送信します。パッチが onnx-mlir コードベースにマージされると、指定した記述的なタイトルで指定したファイルパスを指すリンクがナビゲーションパネルに表示されます。