トップページにバージョンを記載し、タグを打った版のドキュメントが消えないようにする

概要

#28 (closed) の結論にもとづき、v6.0 からドキュメントのトップページに対応する FrontISTR のバージョンを記載する。あわせて、タグを打ったときに公開されるその版のドキュメントが、翌日に消えないようにする。

タグを打つと、CI（pages-tag）がその版のドキュメントを https://source-docs.frontistr.com/v6.0/ のようにタグ名のパスへ公開する。この公開は GitLab Pages の並列デプロイで、既定では 24 時間で期限切れになり削除される。2026/04 に試しに打った test タグの公開も、いまは残っていない。expire_in: never を指定し、期限を無くす。

v5.9 のタグは、pages-tag を CI に追加する前（2026/03/26）に打ったため、v5.9 のドキュメントは公開されていない。タグとしては残っているので、git checkout v5.9 でビルドすれば参照できる。公開される版は v6.0 からとなる。

トップページの表記は、FrontISTR 本体の VERSION と同じく、次の版のリリースまで v6.0 のままとする。リリースの際の手順（表記を変えてからタグを打つ）は README に書いた。

この MR は !100 (merged)（リリースノート）に依存する。!100 (merged) をマージした後にこの MR をマージし、その直後に main に v6.0 のタグを打つ。

Closes #28 (closed)

変更内容

コミット	要約
5a2d7ac1 Show the FrontISTR version on the top page	トップページ（日本語・英語）に「本ドキュメントはFrontISTR v6.0に対応しています。」を追加
2baab58b Keep the documentation published for each tag	pages-tag に expire_in: never を追加。README に公開とリリース時の手順を追加

確認したこと

• mkdocs build が通り、トップページ（日本語・英語）に表記が出ること
• 言語切替のリンクは相対パスで出力されるため、/v6.0/ の下でも同じ版の別言語のページへ移ること
• tools/check_style.py docs の結果が main と同じ（0 errors, 31 warnings）であること
• !100 (merged)（リリースノート）とトップページの変更箇所が重ならず、競合しないこと