[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)
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


No differences found