1 files changed, 5 insertions, 0 deletions

diff --git a/docs/index.html b/docs/index.html
index c890b95ae..7955e47c2 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>