Don't rename worker

This commit is contained in:
Sidharth Vinod
2021-05-31 16:53:54 +05:30
parent 8aacde4b96
commit 0bce3b514f

View File

@@ -1,6 +1,6 @@
#!/bin/bash
pushd ../docs
find ./ -type f -exec sed -i 's/service-worker.js/mermaid-live-editor\/service-worker.js/g' {} \;
# find ./ -type f -exec sed -i 's/service-worker.js/mermaid-live-editor\/service-worker.js/g' {} \;
find ./ -type f -exec sed -i 's/manifest.json/\/mermaid-live-editor\/manifest.json/g' {} \;
find ./ -type f -exec sed -i 's/favicon.png/\/mermaid-live-editor\/favicon.png/g' {} \;
popd