]> gitweb.michael.orlitzky.com - firefox-user-prefs.git/commitdiff
makefile: use the new "media" file
authorMichael Orlitzky <michael@orlitzky.com>
Mon, 6 Nov 2023 22:53:06 +0000 (17:53 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Mon, 6 Nov 2023 22:53:06 +0000 (17:53 -0500)
makefile

index fee282ed1937adafd4fc4247c1a1bc7fa1f9acec..55868890a056a3de91a96975bb8f719587a99609 100644 (file)
--- a/makefile
+++ b/makefile
@@ -1,5 +1,5 @@
 OUTPUT = user.js
-SRCS = tracking speculation cookies ui certificates referer
+SRCS = tracking speculation cookies ui certificates referer media
 
 $(OUTPUT): $(SRCS)
        cat $(SRCS) > $@