GitHub/mermaid
1
0
Fork 0
mirror of https://github.com/mermaid-js/mermaid.git synced 2025-01-14 06:43:25 +08:00
Code Issues Projects Releases Wiki Activity

Fix lint issue

Browse Source
This commit is contained in:
Sidharth Vinod 2023-10-04 14:26:03 +05:30
parent f49e8c5784
commit 345d0d0bd2
No known key found for this signature in database
GPG Key ID: FB5CCD378D3907CD
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
packages/mermaid/scripts/update-release-version.mts
View File

@ -21,8 +21,7 @@ const versionPlaceholder = '<MERMAID_RELEASE_VERSION>';
const main = async () => { const main = async () => {
const sourceDirGlob = posix.join('.', SOURCE_DOCS_DIR, '**'); const sourceDirGlob = posix.join('.', SOURCE_DOCS_DIR, '**');
const mdFileGlobs = getGlobs([posix.join(sourceDirGlob, '*.md')]); const mdFileGlobs = getGlobs([posix.join(sourceDirGlob, '*.md')]);
mdFileGlobs.push('!**/community/development.md'); mdFileGlobs.push('!**/community/development.md', '!**/community/code.md');
mdFileGlobs.push('!**/community/code.md');
const mdFiles = await getFilesFromGlobs(mdFileGlobs); const mdFiles = await getFilesFromGlobs(mdFileGlobs);
mdFiles.sort(); mdFiles.sort();
const mdFilesWithPlaceholder: string[] = []; const mdFilesWithPlaceholder: string[] = [];