On 6/11/19 3:29 AM, Markus Armbruster wrote:
> Peter Maydell writes:
>
>> On Tue, 21 May 2019 at 19:56, Peter Maydell wrote:
>>>
>>> Currently we have a vague plan that we should migrate our
>>> documentation away from Texinfo to using Sphinx, plus some isolated
>>> bits of documentation alre
Peter Maydell writes:
> On Tue, 21 May 2019 at 19:56, Peter Maydell wrote:
>>
>> Currently we have a vague plan that we should migrate our
>> documentation away from Texinfo to using Sphinx, plus some isolated
>> bits of documentation already in .rst format. This email is an attempt
>> to sketch
On Tue, 21 May 2019 at 19:56, Peter Maydell wrote:
>
> Currently we have a vague plan that we should migrate our
> documentation away from Texinfo to using Sphinx, plus some isolated
> bits of documentation already in .rst format. This email is an attempt
> to sketch out a transition plan for gett
On Tue, 28 May 2019 at 20:09, John Snow wrote:
>
>
>
> On 5/21/19 2:56 PM, Peter Maydell wrote:
> > Currently we have a vague plan that we should migrate our
> > documentation away from Texinfo to using Sphinx, plus some isolated
> > bits of documentation already in .rst format. This email is an a
On 5/21/19 2:56 PM, Peter Maydell wrote:
> Currently we have a vague plan that we should migrate our
> documentation away from Texinfo to using Sphinx, plus some isolated
> bits of documentation already in .rst format. This email is an attempt
> to sketch out a transition plan for getting us fro
Currently we have a vague plan that we should migrate our
documentation away from Texinfo to using Sphinx, plus some isolated
bits of documentation already in .rst format. This email is an attempt
to sketch out a transition plan for getting us from where we are today
to where (I think) we want to b
