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