Re: [PHP-DOC] Bug #7888 Updated: decrement syntax should be -- instead of - From: Hartmut Holzgraefe (hartmut <email protected>)
Date: 09/26/01

Jouni Ahto wrote:

>And this "feature" will be hacked around on the next update of PDFs.
>
i had a look at the sources for the openjade tex backend
yesterday evening and i think i have a fix for it
it compiled but it was to late to test it yesterday

as i'm already on it: are there other multi-character sequences
besides '--' and '<<<' i should deal with?