Tyru wrote:
> > When using a distributed package there should be no need to run
> > :helptags. It should either come with a tags file or generate it when
> > needed. If you add a plugin with docs yourself, you can run helptags
> > for it.
> >
> > Pathogen has a command to run helptags on all directories in
> > 'runtimepath'. Although that can be handy, it also may change tags
> > files that you don't want to change. Esp. for packages that are from a
> > repository, changing the tags file could create merge conflicts.
> >
> > Not sure if there is a way to help the user with this.
>
> Hi Bram,
>
> I'm working on translating this part into Japanese.
> In addition to Gary's comment, I noticed a small error below while
> translating.
> (see attached patch)
>
> * "Error" should be "error".
>
> An Error only causes sourcing the script where it
I'll fix that.
> * In some places in repeat.txt, backtick(`) was used instead of bar(|)
> like `:packadd`.
> But almost quoted words seem to have its own helptag.
> If there is a helptag, it should be quoted by bar so a user can jump it.
The backticks work like bars, but highlight the text as a command. I
started doing this a year ago, so there are still lots of commands in
bars. The idea is to use backticks where possible.
--
hundred-and-one symptoms of being an internet addict:
137. You decide to stay in college for an additional year or two,
just so you can have the free Internet access.
/// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net \\\
/// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\
\\\ an exciting new programming language -- http://www.Zimbu.org ///
\\\ help me help AIDS victims -- http://ICCF-Holland.org ///
--
--
You received this message from the "vim_dev" maillist.
Do not top-post! Type your reply below the text you are replying to.
For more information, visit http://www.vim.org/maillist.php
---
You received this message because you are subscribed to the Google Groups
"vim_dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
