diff --git a/gulpfile.js b/gulpfile.js
index 16760555d..cf697257f 100644
--- a/gulpfile.js
+++ b/gulpfile.js
@@ -602,7 +602,7 @@ gulp.task("default_preferences-pre", function() {
       ],
       { base: "src/" }
     ),
-    gulp.src(["web/*.js", "!web/{app,pdfjs,preferences,viewer}.js"], {
+    gulp.src(["web/{app_options,viewer_compatibility}.js"], {
       base: ".",
     }),
   ])