info: display '--' as '-'

Hi, all.

I am using Git 1.7.11.4 now. I compile and then install it from the repo.

$ git checkout v1.7.11.4 $ make prefix=$HOME/opt/git/1.7.11.4 all doc info $ make prefix=$HOME/opt/git/1.7.11.4 install{,-doc,-html,-info}

Recently, I found some problem when I read the git.info.

For example, you can see it in "3.7.1 Getting conflict-resolution help during a merge":

$ git log -merge $ gitk -merge

See, it should be type like this:

$ git log --merge $ gitk --merge

You will see this typo almost in the whole info file.

mofaph 2012/8/6