>>> In the particular manual, there are lots of anchors that contain >>> colons but most of them are not referenced via @ref. (For whatever >>> reason.) >> >> How curious! >> > Yeah, I don't really know the history of this. It's a document that > was, possibly, in Scribe, that was later converted to latexinfo, > then latex (using hevea to convert to html) and then finally > texinfo. [...]
Indeed, it is common practice (and even recommended) in LaTeX to use colons in labels. Werner
