Fixed a broken merge
[irwi] / debian / docs