diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-05-09 16:51:37 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-05-09 16:51:37 +0000 |
| commit | d216be1c03c76d3b745392e094ab1b027a2160fd (patch) | |
| tree | 325aa0aa6467091087d6d9fe79fc7a98c34a1912 /libports | |
| parent | 6e9d4cc1df1854311807434a86070660fbff6d01 (diff) | |
(installhdrs, installhdrdir): Install headers using the generic
technique, now that installhdrdir is available.
Diffstat (limited to 'libports')
0 files changed, 0 insertions, 0 deletions