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

ID: 7888 Updated by: eschmid Reported By: jgoulooze@thinktoo.nl 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@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 ------------------------------------------------------------------------ [2000-11-20 11:14:17] derick@php.net 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