diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1995-07-07 04:29:00 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1995-07-07 04:29:00 +0000 |
| commit | 07e3f4c7212722df67e980ad849409e42561490d (patch) | |
| tree | eb1a0872f8a4369bc7608db9e66f439a9c75e27b /doc | |
| parent | 1a4d8cc113db6acfd97797a4160595e9b5cfc80a (diff) | |
(install) [doinst == one || doinst == many]: Don't install files if
they already exist and are up to date.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions