[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>
Status: Assigned
Bug Type: Documentation problem
Operating System: NT & win98 using apache (phptria
PHP Version: 4.0.2
Assigned To: hholzgra
New Comment:

The same goes for myself by the way: Now I recall where I read about that hack, it's in this very bug report... :-/

But that hack isn't in repository, Hartmut, is it okay for me to see wether I can add it in the repo?

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

[2001-09-23 08:39:11] jeroen <email protected>

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

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

[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.

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

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