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: 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@php.net 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@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. ------------------------------------------------------------------------ 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