[GTK] make dist is broken
authorcarlosgc@webkit.org <carlosgc@webkit.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Wed, 2 Jul 2014 15:11:41 +0000 (15:11 +0000)
committercarlosgc@webkit.org <carlosgc@webkit.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Wed, 2 Jul 2014 15:11:41 +0000 (15:11 +0000)
commit607017349cf441150c059196db8988a1d8e22126
tree321df477248ed29d6793a5279bb0d1ddb4d05e6c
parent2f21ccb1290deed75f08990529c3ed37a1eac2ad
[GTK] make dist is broken
https://bugs.webkit.org/show_bug.cgi?id=134542

Reviewed by Martin Robinson.

.:
* Source/PlatformGTK.cmake: Remove ENABLE_WEBKIT check.

Tools:
* gtk/make-dist.py: Rename command line options to match what cmake uses.
* gtk/manifest.txt: Remove WebKit1 references and add WebKitDOM documentation.

git-svn-id: https://svn.webkit.org/repository/webkit/trunk@170705 268f45cc-cd09-0410-ab3c-d52691b4dbfc
ChangeLog
Source/PlatformGTK.cmake
Tools/ChangeLog
Tools/gtk/make-dist.py
Tools/gtk/manifest.txt