On 03/11/2016 10:20, Joel Sherrill wrote:
So change all of them to single *?
A single '*' is italic and a double is '**' bold on HTML so I am leaning this way. I had been hoping to compare HTML and PDF but I have sucked down a texlive hole on CentOS 7 today.
Chris _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
