[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] make-dist fixes and clean-ups
|
From: |
Richard Stallman |
|
Subject: |
Re: [PATCH] make-dist fixes and clean-ups |
|
Date: |
Tue, 10 May 2005 05:04:39 -0400 |
What about the patch below then? It makes sure that make-dist never
distributes ldefs-boot.el (that way, ldefs-boot.el will never be
installed either)
Why adopt that as the goal? What is wrong with distributing
ldefs-boot.el? What is wrong with installing ldefs-boot.el?
Unless there is some specific reason it must be excluded,
I would rather include it. It is not large.
- Re: [PATCH] make-dist fixes and clean-ups, (continued)
- Re: [PATCH] make-dist fixes and clean-ups, Richard Stallman, 2005/05/01
- Re: [PATCH] make-dist fixes and clean-ups, Jérôme Marant, 2005/05/02
- Re: [PATCH] make-dist fixes and clean-ups, Lute Kamstra, 2005/05/09
- Re: [PATCH] make-dist fixes and clean-ups, Jérôme Marant, 2005/05/09
- Re: [PATCH] make-dist fixes and clean-ups, Lute Kamstra, 2005/05/10
- Re: [PATCH] make-dist fixes and clean-ups, Jérôme Marant, 2005/05/10
- Re: [PATCH] make-dist fixes and clean-ups,
Richard Stallman <=
- Re: [PATCH] make-dist fixes and clean-ups, Lute Kamstra, 2005/05/10
- Re: [PATCH] make-dist fixes and clean-ups, Richard Stallman, 2005/05/11
[PATCH] make-dist fixes and clean-ups, Jérôme Marant, 2005/05/01