[gjs-documentation] build: remove WebKit2WebExtension

[Giovanni Campagna <gcampagna src gnome org>]

commit 9645cde91e713d3ad611e34b6eda5f7fa585c3b6
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Wed Mar 5 17:55:05 2014 +0100

    build: remove WebKit2WebExtension
    
    Writing web extensions in GJS is a really bad idea, because
    you end up with two independent JS engines in one process.

 Makefile |    1 -
 1 files changed, 0 insertions(+), 1 deletions(-)
---
diff --git a/Makefile b/Makefile
index 5bc96fb..d0d367d 100644
--- a/Makefile
+++ b/Makefile
@@ -22,7 +22,6 @@ GENERATED_NAMESPACES = \
        GtkClutter-1.0          \
        GtkSource-3.0           \
        WebKit2-3.0             \
-       WebKit2WebExtension-3.0 \
        Atk-1.0                 \
        Gst-1.0                 \
        Soup-2.4                \