diff --git a/extensions/theme-seti/build/update-icon-theme.js b/extensions/theme-seti/build/update-icon-theme.js
index a9aa74bc2ae..b914e1b8c1a 100644
--- a/extensions/theme-seti/build/update-icon-theme.js
+++ b/extensions/theme-seti/build/update-icon-theme.js
@@ -27,7 +27,7 @@ let nonBuiltInLanguages = { // { fileNames, extensions  }
 	"kotlin": { extensions: ['kt'] },
 	"mustache": { extensions: ['mustache', 'mst', 'mu', 'stache'] },
 	"nunjucks": { extensions: ['nunjucks', 'nunjs', 'nunj', 'nj', 'njk', 'tmpl', 'tpl'] },
-	"ocaml": { extensions: ['ml', 'mli'] },
+	"ocaml": { extensions: ['ml', 'mli', 'mll', 'mly', 'eliom', 'eliomi'] },
 	"puppet": { extensions: ['puppet'] },
 	"r": { extensions: ['r', 'rhistory', 'rprofile', 'rt'] },
 	"sass": { extensions: ['sass'] },