Wrong version of Ubuntu in #348

[Sylvie Gallet]

Hello!

/ubuntu-desktop/file-manager.tex :14 still refers to Ubuntu 13.04 instead of 13.10.

[Kevin Godby (godbyk)]

Where were you yesterday? ;-)

I think we can probably just remove the version number from that sentence entirely.

[Sylvie Gallet (sylvie-gallet)]

;-)

Yes we can! :-)

[Hannie Dumoleyn (lafeber-dumoleyn)]

I agree, but that will only be possible for the next version. When I searched for 13.04 in the saucy pdf file, there were no hits. Strange!

[Sylvie Gallet (sylvie-gallet)]

Even a search for "13" doesn't show it.

[Carsten Gerlach (carsteng)]

I have the same "problem". I guess the problem is the font of the numbers in our manual. For example, if I use Evince to show the PDF and try to cops the text »Video support capable of 1024x768 resolution« and paste the to gedit, the I get the result »Video support capable of × resolution«. This is maybe the problem. I don’t know, if Kevin can fix this in general.

[Kevin Godby (godbyk)]

Yeah, it's an issue with the font. The numbers are actually old-style
figures (as opposed to lining figures) and they live in a different
Unicode block that doesn't correspond to the usually digits.

I'm not aware of any fix other than modifying the font itself.

[Hannie Dumoleyn (lafeber-dumoleyn)]

Removed 13.04 in Trusty. I agree with Kevin that there is no need to mention the version here. I will ask authors/editors once again to NOT mention the version number, unless it is really relevant.
As for the search problem: we could ask authors/editors to check this in the tex file of the chapters/sections assigned to them.