[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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: