diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-05-09 16:18:53 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-05-09 16:18:53 +0000 |
| commit | 3a555d5be70bc8c3c9118ec89aec9dacc77f26bc (patch) | |
| tree | 2c31da07e613020c195888fcbfd91b62face5f11 /auth | |
| parent | 6729e1cab4b32be9daec090a286c619075d1df16 (diff) | |
(INSTALLED_LOCAL_HEADERS): New variable that $(libs) depends on.
This arranges to make sure that headers exported by this library
always get installed eventually into the source directory as symlinks.
Diffstat (limited to 'auth')
0 files changed, 0 insertions, 0 deletions