Re: [PHP-DOC] Bug #7888 Updated: decrement syntax should be -- instead of - From: Jouni Ahto (jah <email protected>)
Date: 09/25/01

On Sun, 23 Sep 2001, Hartmut Holzgraefe wrote:

> eschmid <email protected> wrote:
> > This is not a bug. It is a well known feature.
> > If you use LaTeX you should know this.
>
> It is a LaTeX feature,
> but on the Jade side it is definetly a bug
> as the TeX backend produces output that
> differs from what the other output backends
> generate
> (different in meaning, not only in look and feel)

And this "feature" will be hacked around on the next update of PDFs.

-- Jouni