Bug#847105: wok source updated

[Lucio Correia]

Hi Breno,

I've just uploaded a new package to fix that DTD warning. The linking I 
made did not work on latest patch I had submitted.

dget -x https://mentors.debian.net/debian/pool/main/w/wok/wok_2.3.1-1.dsc

Regards,
--
Lucio Correia