Re: Dump help pages

Thanks very much. Yes, that'll do the trick. Not all pages, but just any individual one I happen to be reading, so I can edit and take notes on it.

Thanks very much, really appreciate it.

Julius

On Tue, Apr 13, 2021, 15:32 Christian Brabandt <cblists@256bit.org> wrote:

On Di, 13 Apr 2021, Julius Hamilton wrote:

> Someone showed me ":hardcopy" and ":TOhtml". ":hardcopy" for me returns "Failed
> to print postscript file". "TOhtml" opens a new window of HTML, but I don't
> know how to output it to a file. Would anyone here know how to do that?

So you want all help pages in a single text file. I am not sure if this
is useful. Use some Unix commands and append the content to a single
buffer in Vim.

:r! cat $VIMRUNTIME/doc/*.txt

Note there is also:
https://nathangrigg.com/vimhelp/
https://www.vi-improved.org/vimusermanual.pdf

Not sure how current those versions are.

Best,
Christian
--
Wie man sein Kind nicht nennen sollte:
  I. K. Russ

--
--
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 vim_use+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/vim_use/20210413133249.GF2222154%40256bit.org.

--
--
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 vim_use+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/vim_use/CAGrXgp22KHJ%2BjFjtwi7uXLd8FUb9zC3_ine2bq_jkXPZhKfS6A%40mail.gmail.com.