From e2f5e18fab799e403cf8d8be0f6b2875266f09da Mon Sep 17 00:00:00 2001
From: Horhik <horhik@tuta.io>
Date: Fri, 16 Apr 2021 18:48:30 +0300
Subject: [PATCH] build book

---
 book/404.html          | 15 ---------------
 book/API.html          | 15 ---------------
 book/Hole.html         | 15 ---------------
 book/Message-flow.html | 15 ---------------
 book/Protocol.html     | 15 ---------------
 book/index.html        | 15 ---------------
 book/print.html        | 15 ---------------
 7 files changed, 105 deletions(-)

diff --git a/book/404.html b/book/404.html
index e16342b..6b7b2b1 100644
--- a/book/404.html
+++ b/book/404.html
@@ -190,21 +190,6 @@
         </div>
 
         
-        <!-- Livereload script (if served using the cli tool) -->
-        <script type="text/javascript">
-            var socket = new WebSocket("ws://localhost:3000/__livereload");
-            socket.onmessage = function (event) {
-                if (event.data === "reload") {
-                    socket.close();
-                    location.reload();
-                }
-            };
-
-            window.onbeforeunload = function() {
-                socket.close();
-            }
-        </script>
-        
 
         
 
diff --git a/book/API.html b/book/API.html
index ed3e4e6..ef4305b 100644
--- a/book/API.html
+++ b/book/API.html
@@ -281,21 +281,6 @@
         </div>
 
         
-        <!-- Livereload script (if served using the cli tool) -->
-        <script type="text/javascript">
-            var socket = new WebSocket("ws://localhost:3000/__livereload");
-            socket.onmessage = function (event) {
-                if (event.data === "reload") {
-                    socket.close();
-                    location.reload();
-                }
-            };
-
-            window.onbeforeunload = function() {
-                socket.close();
-            }
-        </script>
-        
 
         
 
diff --git a/book/Hole.html b/book/Hole.html
index 5ee3b7f..c7178a6 100644
--- a/book/Hole.html
+++ b/book/Hole.html
@@ -195,21 +195,6 @@
         </div>
 
         
-        <!-- Livereload script (if served using the cli tool) -->
-        <script type="text/javascript">
-            var socket = new WebSocket("ws://localhost:3000/__livereload");
-            socket.onmessage = function (event) {
-                if (event.data === "reload") {
-                    socket.close();
-                    location.reload();
-                }
-            };
-
-            window.onbeforeunload = function() {
-                socket.close();
-            }
-        </script>
-        
 
         
 
diff --git a/book/Message-flow.html b/book/Message-flow.html
index ae4062c..177c8fe 100644
--- a/book/Message-flow.html
+++ b/book/Message-flow.html
@@ -207,21 +207,6 @@
         </div>
 
         
-        <!-- Livereload script (if served using the cli tool) -->
-        <script type="text/javascript">
-            var socket = new WebSocket("ws://localhost:3000/__livereload");
-            socket.onmessage = function (event) {
-                if (event.data === "reload") {
-                    socket.close();
-                    location.reload();
-                }
-            };
-
-            window.onbeforeunload = function() {
-                socket.close();
-            }
-        </script>
-        
 
         
 
diff --git a/book/Protocol.html b/book/Protocol.html
index 1d9d7e3..12197ed 100644
--- a/book/Protocol.html
+++ b/book/Protocol.html
@@ -234,21 +234,6 @@ EndMessage
         </div>
 
         
-        <!-- Livereload script (if served using the cli tool) -->
-        <script type="text/javascript">
-            var socket = new WebSocket("ws://localhost:3000/__livereload");
-            socket.onmessage = function (event) {
-                if (event.data === "reload") {
-                    socket.close();
-                    location.reload();
-                }
-            };
-
-            window.onbeforeunload = function() {
-                socket.close();
-            }
-        </script>
-        
 
         
 
diff --git a/book/index.html b/book/index.html
index d2350a4..f9cbb5e 100644
--- a/book/index.html
+++ b/book/index.html
@@ -195,21 +195,6 @@
         </div>
 
         
-        <!-- Livereload script (if served using the cli tool) -->
-        <script type="text/javascript">
-            var socket = new WebSocket("ws://localhost:3000/__livereload");
-            socket.onmessage = function (event) {
-                if (event.data === "reload") {
-                    socket.close();
-                    location.reload();
-                }
-            };
-
-            window.onbeforeunload = function() {
-                socket.close();
-            }
-        </script>
-        
 
         
 
diff --git a/book/print.html b/book/print.html
index 265f338..ba81c7d 100644
--- a/book/print.html
+++ b/book/print.html
@@ -313,21 +313,6 @@ EndMessage
         </div>
 
         
-        <!-- Livereload script (if served using the cli tool) -->
-        <script type="text/javascript">
-            var socket = new WebSocket("ws://localhost:3000/__livereload");
-            socket.onmessage = function (event) {
-                if (event.data === "reload") {
-                    socket.close();
-                    location.reload();
-                }
-            };
-
-            window.onbeforeunload = function() {
-                socket.close();
-            }
-        </script>
-