Comment 3 for bug 586790

Whilst there is a man page at /debian/manpages/add-apt-repository.1 the documentation in the script itself is poor, so I wrote a patch. It is worth noting that the man page only works if you go

man add-apt-repository

but not

man apt-add-repository

Since both names work from the command-line, and sources of information on the web seem to be evenly quoting either, the man page should really also work with the latter invocation as well as the former. This is really only a minor oversight.