OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.


Help: OASIS Mailing Lists Help | MarkMail Help

virtio-comment message

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]

Subject: Re: [virtio-comment] Re: [virtio-dev] [PATCH] virtio-gpio: add formal specification

On 30.06.21 05:58, Viresh Kumar wrote:
Hi Enrico,

It has been two weeks since the previous post, since no one else
replied yet, I think it is good time now for the next version to be
posted. :)

yeah, I'll do that in a few minutes .. had been busy w/ other stuff :o

And I've still been struggling with the build error you've reported.
It only happens when on html build (which I hadn't tested yet).
Seems that htlatex has problems with underscores in labels. Fixed that
now by using - instead of _ in the label.

I'm now doing some more typographic fixes before sending v2.


Hinweis: unverschlÃsselte E-Mails kÃnnen leicht abgehÃrt und manipuliert
werden ! FÃr eine vertrauliche Kommunikation senden Sie bitte ihren
GPG/PGP-SchlÃssel zu.
Enrico Weigelt, metux IT consult
Free software and Linux embedded engineering
info@metux.net -- +49-151-27565287

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]