deploy: 4a320ef

AeroRust · Sep 22, 2024 · 0d525c5 · 0d525c5
1 parent 90c483e
commit 0d525c5
Show file tree

Hide file tree

Showing 4 changed files with 20 additions and 8 deletions.
diff --git a/404.html b/404.html
@@ -9,7 +9,7 @@
 
         <!-- Custom HTML head -->
 
-        <meta name="description" content="">
+        <meta name="description" content="Build and deploy drone technologies using Rust">
         <meta name="viewport" content="width=device-width, initial-scale=1">
         <meta name="theme-color" content="#ffffff">
 
@@ -148,6 +148,9 @@ <h1 class="menu-title">The Rust book for Drones</h1>
                         <a href="print.html" title="Print this book" aria-label="Print this book">
                             <i id="print-button" class="fa fa-print"></i>
                         </a>
+                        <a href="https://github.com/AeroRust/mav/tree/main/drone-book" title="Git repository" aria-label="Git repository">
+                            <i id="git-repository-button" class="fa fa-github"></i>
+                        </a>
 
                     </div>
                 </div>

diff --git a/index.html b/index.html
@@ -8,7 +8,7 @@
 
         <!-- Custom HTML head -->
 
-        <meta name="description" content="">
+        <meta name="description" content="Build and deploy drone technologies using Rust">
         <meta name="viewport" content="width=device-width, initial-scale=1">
         <meta name="theme-color" content="#ffffff">
 
@@ -147,6 +147,9 @@ <h1 class="menu-title">The Rust book for Drones</h1>
                         <a href="print.html" title="Print this book" aria-label="Print this book">
                             <i id="print-button" class="fa fa-print"></i>
                         </a>
+                        <a href="https://github.com/AeroRust/mav/tree/main/drone-book" title="Git repository" aria-label="Git repository">
+                            <i id="git-repository-button" class="fa fa-github"></i>
+                        </a>
 
                     </div>
                 </div>

diff --git a/print.html b/print.html
@@ -9,7 +9,7 @@
 
         <!-- Custom HTML head -->
 
-        <meta name="description" content="">
+        <meta name="description" content="Build and deploy drone technologies using Rust">
         <meta name="viewport" content="width=device-width, initial-scale=1">
         <meta name="theme-color" content="#ffffff">
 
@@ -148,6 +148,9 @@ <h1 class="menu-title">The Rust book for Drones</h1>
                         <a href="print.html" title="Print this book" aria-label="Print this book">
                             <i id="print-button" class="fa fa-print"></i>
                         </a>
+                        <a href="https://github.com/AeroRust/mav/tree/main/drone-book" title="Git repository" aria-label="Git repository">
+                            <i id="git-repository-button" class="fa fa-github"></i>
+                        </a>
 
                     </div>
                 </div>
@@ -229,12 +232,12 @@ <h3 id="connecting-gazebo-gui-client-to-gazebo-server-in-docker"><a class="heade
 <p>The <code>Gazebo</code> simulation tool usually runs a server and a GUI on the host machine,
 however, our setup is running in <code>Docker</code> with mode <code>headless</code> for <code>Gazebo</code>,
 so we only have the server running in <code>Docker</code>.</p>
-<p><strong>IMPORTANT:</strong> You must have installed the exact same <code>Gazebo</code> version locally as the one found in the Docker setup, otherwise you won't be able to connect</p>
+<p><strong>IMPORTANT:</strong> You must have installed the exact same <code>Gazebo</code> version locally as the one found in the Docker setup, otherwise you won’t be able to connect</p>
 <p>On Linux:</p>
 <pre><code class="language-bash">source /usr/share/gazebo-11/setup.sh &amp;&amp; \
 gzclient --verbose
 </code></pre>
-<p><code>/usr/share/gazebo-11/setup.sh</code> contains a few default environment variables that you don't need to pass, otherwise use:</p>
+<p><code>/usr/share/gazebo-11/setup.sh</code> contains a few default environment variables that you don’t need to pass, otherwise use:</p>
 <pre><code>GAZEBO_MASTER_URI=127.0.0.1:11345 gzclient --verbose
 </code></pre>
 

diff --git a/running_a_simulation.html b/running_a_simulation.html
@@ -8,7 +8,7 @@
 
         <!-- Custom HTML head -->
 
-        <meta name="description" content="">
+        <meta name="description" content="Build and deploy drone technologies using Rust">
         <meta name="viewport" content="width=device-width, initial-scale=1">
         <meta name="theme-color" content="#ffffff">
 
@@ -147,6 +147,9 @@ <h1 class="menu-title">The Rust book for Drones</h1>
                         <a href="print.html" title="Print this book" aria-label="Print this book">
                             <i id="print-button" class="fa fa-print"></i>
                         </a>
+                        <a href="https://github.com/AeroRust/mav/tree/main/drone-book" title="Git repository" aria-label="Git repository">
+                            <i id="git-repository-button" class="fa fa-github"></i>
+                        </a>
 
                     </div>
                 </div>
@@ -220,12 +223,12 @@ <h3 id="connecting-gazebo-gui-client-to-gazebo-server-in-docker"><a class="heade
 <p>The <code>Gazebo</code> simulation tool usually runs a server and a GUI on the host machine,
 however, our setup is running in <code>Docker</code> with mode <code>headless</code> for <code>Gazebo</code>,
 so we only have the server running in <code>Docker</code>.</p>
-<p><strong>IMPORTANT:</strong> You must have installed the exact same <code>Gazebo</code> version locally as the one found in the Docker setup, otherwise you won't be able to connect</p>
+<p><strong>IMPORTANT:</strong> You must have installed the exact same <code>Gazebo</code> version locally as the one found in the Docker setup, otherwise you won’t be able to connect</p>
 <p>On Linux:</p>
 <pre><code class="language-bash">source /usr/share/gazebo-11/setup.sh &amp;&amp; \
 gzclient --verbose
 </code></pre>
-<p><code>/usr/share/gazebo-11/setup.sh</code> contains a few default environment variables that you don't need to pass, otherwise use:</p>
+<p><code>/usr/share/gazebo-11/setup.sh</code> contains a few default environment variables that you don’t need to pass, otherwise use:</p>
 <pre><code>GAZEBO_MASTER_URI=127.0.0.1:11345 gzclient --verbose
 </code></pre>