On 9 February 2016 at 02:31, Per Bothner wrote:
>>> and then add the following in the :
>>>
>>>
>>
>>
>> How do people add this in the ? By typing it in with a text
>> editor? With a browser plugin that adds the line automatically?
>
>
> Of course not.
>
>> That's the kind of specific point that
On 12 February 2016 at 08:15, Per Bothner wrote:
> We already have a reader that can read html files - it's called a web
> browser.
> We have to clarify what we want from a "graphical documentation viewer"
> *beyond* what we have. If it the keyboard-centric UI - if so, the simplest
> (and maybe
On 02/11/2016 11:25 PM, Gavin Smith wrote:
On 10 February 2016 at 19:42, Per Bothner wrote:
I suggest the texinfo project sponsor the following proposed project
for Google Summer of Code, under the GNU umbrella. Ideally we'd
want two mentors. I can be one of them, but it would be good to
h
