On 28/08/14 17:11, William Hubbs wrote:
> On Wed, Aug 27, 2014 at 11:43:19PM +0100, Ciaran McCreesh wrote:
>> On Thu, 28 Aug 2014 00:37:48 +0200
>> Michał Górny <[email protected]> wrote:
>>> What do you think?
>> Kill it! With fire! And blood!
> Add me to the list requesting that we kill dohtml as well.
>
> William
>
Me too, I've personally used 'insinto /usr/share/doc/${PF}/html', 'doins
-r ...' for quite a while
when wanting to install docs, since dohtml can't be relied upon, it
skips important files
So +1 for getting rid of it
