<div dir="auto"><div dir="auto">Dot can produce svg</div><div dir="auto"><br></div>dot -Tsvg graph.dot -o file<div dir="auto"><br></div><div dir="auto">PlantUML appears to use -tsvg</div><div dir="auto"><br></div><div dir="auto">Does that help?</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Oct 8, 2020, 1:39 AM Chris Johns <<a href="mailto:chrisj@rtems.org">chrisj@rtems.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 8/10/20 5:30 pm, Sebastian Huber wrote:<br>
> On 08/10/2020 08:18, Chris Johns wrote:<br>
>> On 8/10/20 4:31 pm, Sebastian Huber wrote:<br>
>>> On 08/10/2020 03:01, Chris Johns wrote:<br>
>>><br>
>>>> I see generated .png and .pdf for some images which I am questioning we need.<br>
>>>> The user document images I have contributed are only .png files so I am not<br>
>>>> sure<br>
>>>> why a PDF is needed for some.<br>
>>> Images in a vector format is very important for a high quality PDF. Using PNG<br>
>>> for the PDFs is not really good.<br>
>> Yes is does help but I am not convinced by the "very important" bit. I looked at<br>
>> the user manual executable pictures in the PDF at 400% on a quality monitor and<br>
>> they hold up nicely. All you get to see is the anti-aliasing effects which is<br>
>> understandable.<br>
>><br>
>> HTML and PDF need to be at the same quality level and I have shown this can be<br>
>> achieved even with .png files. PDF is not something we should treat as special.<br>
>> At the moment I cannot read the dot HTML images.<br>
>><br>
>> The PDF quality depends on the contents of the PDF fragment. It may not always<br>
>> be vectors so I am not sure we can assume this. I have seen PDF get abused with<br>
>> horrible results. It looks like .dot is vector which is fine.<br>
>><br>
>> Manual generation is something I would like to avoid and especially if more than<br>
>> one output file type is being generated. The poor HTML quality of the dot<br>
>> generated .png files highlights this. Can they please be improved?<br>
> It would be nice to use a vector format for HTML also. Maybe we should use SVG<br>
> instead of PNG.<br>
<br>
That would be a nice solution but I have no idea how to do that. It would have<br>
to work on all browsers on all devices. That is an area where the less I know<br>
the happier I am. Is simpler better in this case, that is a suitably size image?<br>
<br>
Chris<br>
_______________________________________________<br>
devel mailing list<br>
<a href="mailto:devel@rtems.org" target="_blank" rel="noreferrer">devel@rtems.org</a><br>
<a href="http://lists.rtems.org/mailman/listinfo/devel" rel="noreferrer noreferrer" target="_blank">http://lists.rtems.org/mailman/listinfo/devel</a><br>
</blockquote></div>