On 11/6/19 5:04 pm, Sebastian Huber wrote:
> I noticed also that we don't use the sphinxcontrib-plantuml extension:
> 
> https://pypi.org/project/sphinxcontrib-plantuml/
> 
> Should we use it? It would enable the use of images in *.pdf format for the
> Latex output. The PNGs are quite ugly in the Latex output.

Sure, it looks good. Does it support ditaa?

Chris
_______________________________________________
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel

Reply via email to