Hi Christian, On Tue, Aug 15, 2017 at 2:26 AM, Christian Brabandt <[email protected]> wrote: > > On Di, 15 Aug 2017, Tony Mechelynck wrote: > >> On Tue, Aug 15, 2017 at 7:16 AM, Adam Monsen <[email protected]> wrote: >> > Looks like this is still an issue. >> > >> > On Sun, Feb 26, 2012 at 7:59 PM, Adam Monsen <[email protected]> wrote: >> >> I think there's a problem with >> >> http://vimdoc.sourceforge.net/htmldoc/digraph.html . >> >> >> >> 1. the server doesn't say what character encoding is used >> >> 2. the HTML says <meta http-equiv="Content-type" content="text/html; >> >> charset=ISO-8859-1"> >> >> 3. it only looks correct if I force it to be interpreted as UTF-8 >> >> I confirm the problem with that HTML doc page, which, however, is out >> of date ("For Vim version 7.3. Last change: 2011 Jan 15"). The >> up-to-date version ("For Vim version 8.0. Last change: 2016 Nov 04") >> of the same text can be obtained by typing ":help digraph.txt" without >> the quotes in a running Vim 8.0, and it doesn't suffer from this >> problem. > > Yeah that mirror is out of date. A more uptodate mirror is available > here: > http://vimhelp.appspot.com/digraph.txt.html > > That website is managed by Carlo Teubner and regularly updated. It also > seems to render for me in utf-8 by default. > > In case of errors, you should however raise an issue here: > https://github.com/c4rlo/vimhelp > > because we cannot do anything about it here. > > The same is true for the vimdoc.sf.net link. I think that one is managed > by Yegappan, so CC'ing him >
I don't manage the vimdoc site. I think it is managed by Dan Sharp. Regards, Yegappan -- -- 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/d/optout.
