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

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

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

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

[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

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

[2000-11-20 11:14:17] derick <email protected>

Forwarded to the doc group, it's only a mistake in the pdf version of tha manual.

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

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