Remove dev/packages/expl3.json #4440

James-Yu · Oct 17, 2024 · 6392b48 · 6392b48
1 parent 42da174
commit 6392b48
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 19 deletions.
diff --git a/dev/packages/expl3.json b/dev/packages/expl3.json
diff --git a/dev/parse-cwl.ts b/dev/parse-cwl.ts
@@ -324,8 +324,8 @@ function handleBigMacros(pkg: PackageRaw, line: string): void {
         name: line.slice(1, line.indexOf('%')),
         arg: {
             format: '',
-            snippet
-        }
+            snippet,
+        },
     }
     pkg.macros.push(macro)
     return
@@ -483,7 +483,7 @@ function handleKomaClasses(pkgName: string, content: string): string {
 function parseFiles(files: string[], folder: string) {
     for (const file of files) {
         console.log(file)
-        if (!file.endsWith('.cwl')) {
+        if (!file.endsWith('.cwl') || file === 'expl3.cwl') {
             continue
         }
         const pkgName = file.replace('.cwl', '')