diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-07-17 18:30:27 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-07-17 18:30:27 +0000 |
| commit | 66e9ca205732d9d35ac3b229608ed23e9bee91e5 (patch) | |
| tree | 624a7716dc8734a4511c99aa5aedabef60f0fae5 /Makeconf | |
| parent | 93c1c3d1c54f0b72d861dbc298a3d1ecaab60c08 (diff) | |
gs/install-hdrs/install-headers/g
Diffstat (limited to 'Makeconf')
| -rw-r--r-- | Makeconf | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -147,7 +147,7 @@ install libs: add-to-librecord add-to-librecord: $(targets) install: $(addprefix $(libdir)/,$(targets)) $(addprefix $(includedir)/$(installhdrsubdir)/,$(installhdrs)) $(libdir) $(includedir) -install-hdrs:$(addprefix $(includedir)/$(installhdrsubdir)/,$(installhdrs)) $(includedir) +install-headers:$(addprefix $(includedir)/$(installhdrsubdir)/,$(installhdrs)) $(includedir) # Arrange to have the headers installed locally anytime we build the library. # Not quite perfect, but at least it does end up getting done; and once done @@ -176,7 +176,7 @@ endif # Provide default. install: -install-hdrs: +install-headers: # Making installation directories $(installationdirlist): %: |