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

ID: 7888 Updated by: jeroen Reported By: jgoulooze@thinktoo.nl Status: Assigned Bug Type: Documentation problem Operating System: NT & win98 using apache (phptria PHP Version: 4.0.2 Assigned To: hholzgra New Comment: 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. Previous Comments: ------------------------------------------------------------------------ [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. ------------------------------------------------------------------------ [2000-11-20 07:41:12] hholzgra@php.net i guess it is in the PDF version? it is a known problem (at least to me ) that the TeX backend converts a '--' into a 'long -' ------------------------------------------------------------------------ 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