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.
--
Sebastian Huber, embedded brains GmbH
Address : Dornierstr. 4, D-82178 Puchheim, Germany
Phone : +49 89 189 47 41-16
Fax : +49 89 189 47 41-09
E-Mail : sebastian.hu...@embedded-brains.de
PGP : Public key available on request.
Diese Nachricht ist keine geschäftliche Mitteilung im Sinne des EHUG.
_______________________________________________
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel
