>> OK, but what about the docs? Should I remove the description of linuxdoc or
>> not?

>  Remove it.

Done.

Uwe

Reply via email to