On 7/23/13 11:11 PM, Nikolay Pavlov wrote:
On Jul 24, 2013 1:00 AM, "Charles Campbell"
<[email protected] <mailto:[email protected]>> wrote:
>
> ping song wrote:
>>
>> any help?
>>
>>
>>
>> On Mon, Jul 22, 2013 at 9:03 AM, ping <[email protected]
<mailto:[email protected]> <mailto:[email protected]
<mailto:[email protected]>>> wrote:
>>
>> this looks real nice!
>>
>> http://vimdoc.sourceforge.net/htmldoc/
>>
>> the thing that I like it , is that it looks exactly what it is in
>> vim , compacted pure text but still URL-able, like those code
>> cross reference pages generated by LXR
>> (http://lxr.linux.no/linux+v3.10.2/kernel/cpu/idle.c), sth I
>> can't simply archieve in vimwiki.
>>
>> what options of tools do we have (in vim or external) to generate
>> those beautiful pages?
>>
> I have no idea what was used for the online vim man pages. You do
know about TOhtml, though?
At least one of the maintainers uses self-written python script; he
wrote about this in the announce. Maybe there a link to the script in
the announce, I do not remember.
TOhtml does not have support for links yet, though AFAIR it was
promised. There is a plugin that adds them though.
I use my own formatvim plugin. It has support for links, but recently
it popped out that not all links are created that are expected. My
plugin is known to be faster then TOhtml, but if you enable links
comparison will become invalid: it will be slower then; "invalid"
means that anything can be said only after support for links is added
to TOhtml.
thanks.
can you point me the plugin that adding the link function?
or, can you share your plugin and the usage?
I think this will make vim a real nice "cross reference page generation"
tool...
regards
ping
--
--
You received this message from the "vim_use" 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_use" 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/groups/opt_out.
