Add missing theme.js

lapo-luchini · May 28, 2024 · d217b32 · d217b32
1 parent fd8b621
commit d217b32
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/release.sh b/release.sh
@@ -1,8 +1,9 @@
 #!/bin/sh
 set -e
 FILES="
-  asn1.js oids.js defs.js base64.js hex.js int10.js dom.js rfcdef.js test.js tags.js
-  context.js index.css index-dark.css index.js index.html index-local.html
+  asn1.js oids.js defs.js base64.js hex.js int10.js dom.js context.js theme.js
+  rfcdef.js test.js tags.js
+  index.html index.css index.js index-local.html
   favicon.svg tree-icon-light.svg tree-icon-dark.svg
   README.md LICENSE
   updateOID.sh check.sh