[PHP-DOC] Bug #7888 Updated: decrement syntax should be -- instead of - From: jeroen <email protected>
Date: 09/23/01

ID: 7888
Updated by: jeroen
Reported By: jgoulooze <email protected>
Old Status: Closed
Status: Assigned
Bug Type: Documentation problem
Operating System: NT & win98 using apache (phptria
PHP Version: 4.0.2
Assigned To: hholzgra
New Comment:

I use LaTeX a lot, and of course I know this feature, but that's not the point here!

Please read the report carefully before closing.

Reopening

Previous Comments:
------------------------------------------------------------------------

[2001-09-22 17:09:48] eschmid <email protected>

This is not a bug. It is a well known feature. If you use LaTeX you should know this.
-Egon

------------------------------------------------------------------------

[2001-09-22 14:02:56] jeroen <email protected>

IIRC, somebody committed a hack to PDF generation to get <<< and -- correct, but in the latest PDF I notice that <<< is still incorrect, but -- is correct.

------------------------------------------------------------------------

[2001-07-25 17:08:41] jah <email protected>

When the PDF versions come back online (really soon now),
this will be fixed with a terrible hack. Which means running
the xml files through the following perl script before
compiling...

#!/usr/bin/perl -pi

s/([^!])-{2}([^>])/$1-\&hairsp;-$2/g;
s/\&lt;\&lt;/\&lt;\&hairsp;\&lt;/g;
s/\&gt;\&gt;/\&gt;\&hairsp;\&gt;/g;

------------------------------------------------------------------------

[2001-07-10 18:14:29] jeroen <email protected>

Resurfacing... I also once saw something like <<< being rendered strangely in PDF.

------------------------------------------------------------------------

[2000-11-20 12:00:27] hholzgra <email protected>

but it _is_ a documentation problem, even if it only affects part of the output formats (it should be visible in the postscript version too)

so let's do not close it until it is solved

------------------------------------------------------------------------

The remainder of the comments for this report are too long. To view
the rest of the comments, please view the bug report online at
    http://bugs.php.net/?id=7888

Edit this bug report at http://bugs.php.net/?id=7888&edit=1