[GTK] WebKit2 GTK+ API public headers are not installed
authorcarlosgc@webkit.org <carlosgc@webkit.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Thu, 19 Jan 2012 17:40:25 +0000 (17:40 +0000)
committercarlosgc@webkit.org <carlosgc@webkit.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Thu, 19 Jan 2012 17:40:25 +0000 (17:40 +0000)
commit67d7cfbb512af33c9ddb655195cbdcfb53bcd6d4
treed29a8b1d8eeba1349f5067c3de33e6c3cf249771
parentee5a9fc66acfa854a0f3303f02e2b1802f1d2f5f
[GTK] WebKit2 GTK+ API public headers are not installed
https://bugs.webkit.org/show_bug.cgi?id=76626

Reviewed by Martin Robinson.

* GNUmakefile.am: Rename webkit2gtk_headers as
libwebkit2gtkinclude_HEADERS to match libwebkit2gtkincludedir so
that headers are installed during make install.

git-svn-id: http://svn.webkit.org/repository/webkit/trunk@105419 268f45cc-cd09-0410-ab3c-d52691b4dbfc
Source/WebKit2/ChangeLog
Source/WebKit2/GNUmakefile.am