Documentation/mobile-images: duplicate filenames

[Lubomir I. Ivanov]

hi Willem,

i've encountered a GIT issue (well only on Windows that is) in
Documentation/mobile-images related to the two files:
divelist.jpg
DiveList.jpg

the Windows's filesystem is case-insensitive, which breaks GIT as it
checks out the
files one on top of the other and rests in a state of "uncommited changes".

more details here:
http://stackoverflow.com/questions/2528589/git-windows-case-sensitive-file-names-not-handled-properly

perhaps these can become something in the lines of?:
DiveList1.jpg
DiveList2.jpg

i can create a patch of sorts, but i don't understand the difference
between the two files and if
both are needed.

lubomir
--