Bug #7888 Updated: decrement syntax should be -- instead of -

ID: 7888 Updated by: jeroen Reported By: jgoulooze@thinktoo.nl 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@php.net 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@php.net 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@php.net 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@php.net Resurfacing... I also once saw something like <<< being rendered strangely in PDF. ------------------------------------------------------------------------ [2000-11-20 12:00:27] hholzgra@php.net 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