[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Policy on updating info/ directory?
From: |
Eli Zaretskii |
Subject: |
Re: Policy on updating info/ directory? |
Date: |
Wed, 26 Dec 2001 19:55:34 +0200 |
> From: Richard Stallman <address@hidden>
> Date: Wed, 26 Dec 2001 12:33:27 -0500
>
> I don't think it matters greatly how often we update them in CVS.
> Maybe it is ok if the directory does not exist in CVS.
If the info directory isn't in CVS, we cannot maintain the info/dir
file there. Of course, if the decision is to remove dir as well, that
won't matter. Did we make such a decision, or want to make it now?