diff options
Diffstat (limited to 'docs/index.html')
| -rw-r--r-- | docs/index.html | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/index.html b/docs/index.html index c890b95ae7..7955e47c29 100644 --- a/docs/index.html +++ b/docs/index.html @@ -28,5 +28,10 @@ <script src="//unpkg.com/prismjs/components/prism-cpp.min.js"></script> <script src="//unpkg.com/prismjs/components/prism-json.min.js"></script> <script src="//unpkg.com/prismjs/components/prism-makefile.min.js"></script> + <script> + if (typeof navigator.serviceWorker !== 'undefined') { + navigator.serviceWorker.register('sw.js') + } + </script> </body> </html> |