#473 [manual] >> is wrongly turned into » (guillemet)

[Aerijo None]

The manual often refers to », especially when talking about arrows. It was not until I reached Section 16.4.1 (p.198), where it gives examples using >>> that I realised TeX was applying a replacement, and the manual really meant >> wherever a » appeared. I feel this is a serious bug in the manual, and will mislead any who do not realise what has happened.

[Henri Menke]

This will be fixed by https://sourceforge.net/u/hmenke/pgf/ci/29f9bd23afba19d12f5f476c20fa6c0cdbe92dbd/ but one instance of » remains. That might be an engine bug but I was unable to reproduce in an MWE.

[Stefan Pinnow]

For the record: This can be found in the first codeexample of the .tip handler in pgfmanual-en-tikz-arrows.tex (and is also marked with a \todosp).

And there is another one in the last codeexample of section 2.17 "Adding Arrow Tips" in file pgfmanual-en-tutorial.tex. (This is also marked with a \todosp.)

[Henri Menke]

Fixed in https://sourceforge.net/p/pgf/git/ci/0075a5e748b5c2b186ebd9578c10702b5d3f1149/ (I hope)