On Mon, Apr 08, 2002 at 08:12:19PM +0200, Javier Fern?ndez-Sanguino Pe?a wrote: > On Mon, Apr 08, 2002 at 01:14:21AM -0700, Osamu Aoki wrote: > > > > > a) change our current policy > > > > No need now but eventually if someone make full docbook document for > > debian. If you feel strongly, please remove progeny-debian-manual/ CVS > > tree from the server as an admin user. I would keep it without updating > > it and clearly mark as a source info used to create debiandoc-sgml. > > This way, we have some place to check any future confusions :) > > I will leave this to the CVS admins. IMHO it's not really a > problem if we keep the CVS sources. >
Now that you mentioned about policy, I think removing HTML created directly from Progeny source is sensible thing to do. But let's leave source HTML in CVS for the record so even if Progeny does not display their tar.gz on their site, we can see how they evolved. I am thinking to commit new Makefile after returning California from cross country trip. I am in NY today and Montreal tomorrow. Who said I have too much time? :) Osamu -- +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + Osamu Aoki <[EMAIL PROTECTED]> @ Cupertino, CA USA + -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
