Bug #7888 Updated: decrement syntax should be -- instead of -
| From: | jeroen@php.net | Date: | Tue, 10 Jul 2001 22:14:29 +0000 |
| Subject: | Bug #7888 Updated: decrement syntax should be -- instead of - | ||
| References: | 1 | Groups: | php.dev php.doc |
| Request: | Send a blank email to php-dev+get-59633@lists.php.net to get a copy of this message | ||
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:
Resurfacing... I also once saw something like <<< being rendered strangely in PDF.
Previous Comments:
------------------------------------------------------------------------
[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 -'
------------------------------------------------------------------------
[2000-11-20 06:27:23] derick@php.net
Where exactly in the manual do you find this? I couldn't find it.
------------------------------------------------------------------------
[2000-11-20 06:23:48] derick@php.net
It's a typo in the manual. Fixing it now.
------------------------------------------------------------------------
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
ATTENTION! Do NOT reply to this email!
To reply, use the web interface found at http://bugs.php.net/?id=7888&edit=1