diff --git a/vvp/Makefile.in b/vvp/Makefile.in index da03dfec5..c9c562c3a 100644 --- a/vvp/Makefile.in +++ b/vvp/Makefile.in @@ -230,6 +230,7 @@ endif installdirs: $(srcdir)/../mkinstalldirs $(srcdir)/../mkinstalldirs "$(DESTDIR)$(bindir)" \ + "$(DESTDIR)$(includedir)" \ "$(DESTDIR)$(libdir)" \ "$(DESTDIR)$(docdir)" \ "$(DESTDIR)$(man1dir)"