Update docs

2022-11-08 14:30:45 +00:00
parent 1643a5673b
commit 6db3408885
193 changed files with 16530 additions and 45158 deletions
--- a/scripts/release/update-comment.js
+++ b/scripts/release/update-comment.js
@ -22,7 +22,7 @@ const [ tag ] = run('git', 'tag')
 // Ordering tag → HEAD is important here.
 const files = run('git', 'diff', tag, 'HEAD', '--name-only', 'contracts/**/*.sol')
  .split(/\r?\n/)
-  .filter(file => file && !file.match(/mock/i));
+  .filter(file => file && !file.match(/mock/i) && fs.existsSync(file));

 for (const file of files) {
  const current = fs.readFileSync(file, 'utf8');