Manpages of wdiff in Debian wheezy