On 17-05-13 01:31, Jakub Wilk wrote:
> * Samuel Thibault <sthibault@debian.org>, 2013-05-17, 01:10:
>>> - <META NAME="GENERATOR" CONTENT="LinuxDoc-Tools 0.9.66">
>>> + <META NAME="GENERATOR" CONTENT="LinuxDoc-Tools 0.9.69">
>> Urgl. I guess we may want to move the documentation to a separate
>> arch:all package then. Any opinion?
>
> I would fix it with sed:
>
> find -name '*.html' -exec sed -i -e 's/<META NAME="GENERATOR"[^>]*>//' {} +
>
> Splitting documentation into a separate package is of course more future
> proof that the hack above, but I'm not sure it's worth the effort.
This of course only works as long as all the LinuxDoc-Tools versions
available (now and in the future) actually create the same content.
However, then you would never need different version of that tool
anyway. So although it might work now, it is far from robust. Of course
you could version your dependency on that tool but that doesn't scale at
all.
The short term fix would not need the sed command. Mario (you uploaded
the last version of brltty), I think your own version of LinuxDoc-Tools
is old (Squeeze), do you build in a clean and up-to-date environment?
Paul
Attachment:
signature.asc
Description: OpenPGP digital signature