diff options
Diffstat (limited to 'tools/README.md')
| -rw-r--r-- | tools/README.md | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/tools/README.md b/tools/README.md index 59860ca1b..e88f8d892 100644 --- a/tools/README.md +++ b/tools/README.md @@ -72,3 +72,16 @@ on top, somewhat similar to `git subtree`. 2. Run `./tools/wgpu_sync.js` 3. Double check changes, possibly patch 4. Commit & send a PR with the updates + +## copyright_checker.js + +`copyright_checker.js` is used to check copyright headers in the codebase. + +To run the _copyright checker_: + +```sh +deno run --allow-read --allow-run --unstable ./tools/copyright_checker.js +``` + +Then it will check all code files in the repository and report any files that +are not properly licensed. |