Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

doc/tags-jaに無効なタグが混じっている #1206

Open
machakann opened this issue Dec 9, 2022 · 5 comments
Open

doc/tags-jaに無効なタグが混じっている #1206

machakann opened this issue Dec 9, 2022 · 5 comments

Comments

@machakann
Copy link
Contributor

vimdoc-ja/doc/tags-ja に以下の無効なタグ混じっているようです。これらは文章中で * に囲まれていますがヘルプタグとなることを意図されていないもののように思います。

実害というほどではないのですが、手元で :helptags してしまうと差分が発生してしまいます。

@machakann machakann changed the title doc/tags-jaに無効なタグが混じtte doc/tags-jaに無効なタグが混じっている Dec 9, 2022
@tsuyoshicho
Copy link
Contributor

tsuyoshicho commented Dec 10, 2022

そもそもで言うと

  • 他のも含めたhelptagを、ユーザーは環境が作れたら生成するべき(じゃないと正しく引けない)
  • 配布物として常に最新のhelptagを生成して含めるべき(じゃないと齟齬がある)

のどっちかやらんといかんのかな
なのでしょうけど、どうしたもんかな...というはありそう。

@machakann
Copy link
Contributor Author

machakann commented Dec 10, 2022

タグファイルを含めるかに関する議論は #268 のとおりで私としては(それが難しくないかぎり)含めることに異論ありません。ただ、疑問なのは deploy されている tags-ja も Vim が生成したものと思われるのですが、私の手元で生成されるものと差分が出るのは不思議におもっています。Vimのバージョンの問題でしょうか。

私としてもそこまで重大な問題だと思っているわけではなくて、一応無効なタグなので報告しておこうと思った次第です。

@tsuyoshicho
Copy link
Contributor

あ、そっちで論議があったか...なんででしょうね?

@h-east
Copy link
Member

h-east commented Dec 10, 2022

@machakann
9.0.0110 からhelpの例の中のタグを除外するようになりました。

vimdoc-ja-working で使用しているVimは v8.2.0020 ですので、上記バージョン以降のVimの:helptagsと差分が出ちゃいますね。

@machakann
Copy link
Contributor Author

ありがとうございます。なるほど、たしかに書いていませんでしたが手元の Vim は 9.0.1044 でした。

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants