diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-07-18 04:41:04 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-07-18 04:41:04 +0000 |
| commit | f90a916712fcc4cf6ef022102b34fd95ec07a971 (patch) | |
| tree | 2792b046c8d32ad4dcf20edd69fb0a7c73de46ce /Makeconf | |
| parent | 94cef36797600d11a50d09828fa80df8a73dfd1c (diff) | |
*** empty log message ***
Diffstat (limited to 'Makeconf')
| -rw-r--r-- | Makeconf | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -145,9 +145,12 @@ ifeq ($(makemode),library) all: libs install libs: add-to-librecord add-to-librecord: $(targets) -install: $(addprefix $(libdir)/,$(targets)) $(addprefix $(includedir)/$(installhdrsubdir)/,$(installhdrs)) $(libdir) $(includedir) +install: $(addprefix $(libdir)/,$(targets)) $(addprefix $(includedir)/$(installhdrsubdir)/,$(installhdrs)) $(libdir) $(includedir) $(includedir)/$(installhdrsubdir) -install-headers:$(addprefix $(includedir)/$(installhdrsubdir)/,$(installhdrs)) $(includedir) +install-headers: $(includedir)/$(installhdrsubdir) $(addprefix $(includedir)/$(installhdrsubdir)/,$(installhdrs)) $(includedir) + +$(includedir)/$(installhdrsubdir): + $(MKINSTALLDIRS) $@ # 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 |