diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-07-14 00:54:25 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-07-14 00:54:25 +0000 |
| commit | 95520e6ff57a58ae82e4877b1ae389aa2011d2a0 (patch) | |
| tree | 2e42fd925eb90ef92dc8301b4f30dde1ee0b9d77 /=Maketools | |
| parent | 1927cea851e8f9e6153dfc8469f7012ff68a0760 (diff) | |
(install-hdrs) [library]: Depend on installed copies of headers.
(install-hdrs): Provide default target.
Diffstat (limited to '=Maketools')
0 files changed, 0 insertions, 0 deletions