Re: Essential stuff in /usr/doc (Was Re: Installing things into a...)
On 21 May 1999, Manoj Srivastava wrote:
> Oh, I would expect that if I remove /usr/doc, I shall have no
> access to the documentation thus removed (well, duh). That includes
> the documentation only packages. I was not aware we were talking
> about doc only packages here, though.
>
Just FYI, the WDG validator package can be used without the associated
HTML reference files. It wouldn't be as good, but it would be usable.
>
> Peter> If we (collectively) decided to do that as policy, then the above
> Peter> packages would surely be changed to move essential files out of
> Peter> /usr/doc. So why suggest different rules on wdg-html-validator?
>
> If we so collectively decide, then the move shall be
> mandatory. All I am saying is that while we have a choice, there are
> reasons not to put things that the package needs while working in
> /usr/doc. I am not forcing anyone, I am merely offering advice.
>
> This is the -mentor list, is it not? Not the -policy list? I
> am offering what I think is a better solution, not that the solution
> provided violated policy.
>
> You may choose to ignore advice.
>
I agree with your reasoning and have taken your advice in the latest
uploads of the package.
--
Jaldhar H. Vyas <jaldhar@braincells.com>
Reply to: