diff options
Diffstat (limited to 'src/include')
| -rw-r--r-- | src/include/krb5/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/include/krb5/Makefile.in b/src/include/krb5/Makefile.in index ede532b7a..3ef187234 100644 --- a/src/include/krb5/Makefile.in +++ b/src/include/krb5/Makefile.in @@ -34,7 +34,7 @@ KRB5_INCDIR = $(KRB5ROOT)/include install:: @set -x; for f in $(KRB5_HEADERS); \ - do $(INSTALL_DATA) $(srcdir)/$$f $(DESTDIR)$(KRB5_INCDIR)/krb5/$$f ; \ + do $(INSTALL_DATA) $(srcdir)/$$f $(DESTDIR)$(KRB5_INCDIR)/krb5/$$f ; \ done; \ @set -x; for f in $(BUILT_HEADERS) $(ET_HEADERS); \ do $(INSTALL_DATA) $$f $(DESTDIR)$(KRB5_INCDIR)/krb5/$$f ; \ |