tool.具体的にどんなことをやればいいのかを説明します。requestを送ってもらうと進めやすいです。対象となるファイルはdoc/sourceディレクトリ以下の拡張子が「.rst」となっているファイルです。GitHubでの作業に慣れていなくてもできるように、「最初にやること」と「作業ごとにやること」、「ファイルごとにやること」に分けて順に説明します。以下では、最初に一度だけ実施しておけば良いことを説明します。configuration¶まずは、gitの設定をしましょう。ある程度gitを使っている場合には初期設定はすでに完了しているかも知れません。その場合には飛ばして構いません。address"上記はコミットログに使われます。公開しても差し支えないユーザ名もしくはメールアドレスを設定します。リポジトリ選択画面でご自分のリポジトリへとforkしてください。以下では作業ごとにやることを説明します。upstream¶Mroonga本家の最新状態に追従して、作業がかぶらないようにします。upstream/master最新の状態に追従できたら、「ファイルごとにやること」へと進みます。更新する場合で説明します。作業対象となるファイルは、リポジトリのdoc/source/ディレクトリ以下にあり拡張子が.rstなファイルです。今回は、doc/source/characteristic.rstを変更する例で説明します。document¶マークアップに問題がないか、HTMLを確認します。HTMLを生成するには以下のコマンドを実行します。htmlいつも使っているブラウザで該当ファイルを確認して、変更した内容が反映されていればOKです。Commit¶HTMLに問題がないことを確認できたら、コミットします。commitコミットするときのメッセージについては、例えば以下のようにします。requestしてください。requestしてOKです!これで、ひととおりの作業は完了しました。