Bug#800537: linuxdoc-tools documentation is built during the install stage

[Ilya Tumaykin]

JIC this last problem with txt docs is also reproducible with 0.9.69 version.

-- 
Best regards.
Ilya Tumaykin.