-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Is this really the right thing to do?

I've often been concerned that a.) removing large numbers of files from
dist/ dubdirectories makes for a bunch of extra work when importing the
next version of a package, and that b.) doing so makes for very odd cvs
histories if we decide we do want to use those files later -- suppose
that we add a flag to autoconf, and want to update the .info
documentation -- will we re-add the .texi files at that date?

ISTM, the whole benefit of dist/ dirs and reachover Makefiles is that we
leave the imported package in as close to a pristine state as is
feasible.  Can we try to do this please?

On Wed, 14 Nov 2001, Todd Vierling wrote:

>
>Module Name:	gnusrc
>Committed By:	tv
>Date:		Wed Nov 14 19:56:06 UTC 2001
>
>Modified Files:
>	gnusrc/gnu/dist/autoconf: Makefile.in
>Removed Files:
>	gnusrc/gnu/dist/autoconf/doc: Makefile.am Makefile.in autoconf.texi
>	    install.texi make-stds.texi stamp-vti standards.info standards.texi
>	    version.texi
>
>Log Message:
>Shrink size quite a bit by leaving only autoconf.info (remove all sources).
>
>
>To generate a diff of this commit:
>cvs rdiff -r1.2 -r1.3 gnusrc/gnu/dist/autoconf/Makefile.in
>cvs rdiff -r1.1.1.1 -r0 gnusrc/gnu/dist/autoconf/doc/Makefile.am \
>    gnusrc/gnu/dist/autoconf/doc/Makefile.in \
>    gnusrc/gnu/dist/autoconf/doc/autoconf.texi \
>    gnusrc/gnu/dist/autoconf/doc/install.texi \
>    gnusrc/gnu/dist/autoconf/doc/make-stds.texi \
>    gnusrc/gnu/dist/autoconf/doc/stamp-vti \
>    gnusrc/gnu/dist/autoconf/doc/standards.info \
>    gnusrc/gnu/dist/autoconf/doc/standards.texi \
>    gnusrc/gnu/dist/autoconf/doc/version.texi
>
>Please note that diffs are not public domain; they are subject to the
>copyright notices on the relevant files.
>

- -- 
				Jim Wise
				jwise@draga.com
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.6 (NetBSD)
Comment: For info see http://www.gnupg.org

iD8DBQE78slhN71lEcOYcw4RAi+5AKCoOnAMOK1wMBCk6FRbKmFKYXY8ygCfdZ1g
prDhC3CIhUY7I38fMdxQggA=
=3fAA
-----END PGP SIGNATURE-----