Copy AMO extension to web

diff --git a/Makefile b/Makefile
index 107551d6ad96159d8cc0088d489ef5cb445a5241..e9c2cc37014216532e1d5f41187b6b6559719b07 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -160,7 +160,10 @@ web: | production extension compiler pages-repo
        @cp $(BUILD_TARGET) $(GH_PAGES)/$(BUILD_TARGET)
        @cp -R web/* $(GH_PAGES)/web
        @cp web/images/* $(GH_PAGES)/web/images
-       @cp $(FIREFOX_BUILD_DIR)/$(FIREFOX_EXTENSION_NAME) $(FIREFOX_BUILD_DIR)/update.rdf $(GH_PAGES)/$(EXTENSION_SRC)/firefox/
+       @cp $(FIREFOX_BUILD_DIR)/$(FIREFOX_EXTENSION_NAME) \
+               $(FIREFOX_BUILD_DIR)/$(FIREFOX_AMO_EXTENSION_NAME) \
+               $(FIREFOX_BUILD_DIR)/update.rdf \
+               $(GH_PAGES)/$(EXTENSION_SRC)/firefox/
        @cp $(GH_PAGES)/web/index.html.template $(GH_PAGES)/index.html;
        @mv -f $(GH_PAGES)/web/viewer-production.html $(GH_PAGES)/web/viewer.html;
        @cd $(GH_PAGES); git add -A;