switch archer fish logo at top of page to SVG format on all pages

This consisted in updating index.sh, replacing archer.jpg with
archer.svg, and then re-running the script on all files that
referenced archer.jpg.

diff --git a/download/index.html b/download/index.html
index f28112eabb0a47fe24e36b766ca04ebf154add0a..221c382c04c26fb3de36e185c030bc9a12028218 100644 (file)
--- a/download/index.html
+++ b/download/index.html
@@ -17,7 +17,7 @@
 vlink="#9900DD">
 
 <a href="../../gdb/mascot/"> <img border="0"
-src="../../gdb/images/archer.jpg" align="right" alt="[image of Archer
+src="../../gdb/images/archer.svg" align="right" alt="[image of Archer
 Fish]" /></a>
 
 <center><h1>GDB: The GNU Project Debugger</h1></center>
@@ -123,7 +123,7 @@ Floor, Boston, MA 02110-1301 USA.</p>
 <p>Verbatim copying and distribution of this entire article is
 permitted in any medium, provided this notice is preserved.</p>
 
-<p>Last modified 2018-09-05.</p>
+<p>Last modified 2018-11-19.</p>
 </address>
 
 </body>

diff --git a/index.html b/index.html
index e3d23bacbcf5af1cbeaf8d0cb1d23a6021040ee4..f98affe1c7fd7dfca8bd08a77058d4ef4414ed97 100644 (file)
--- a/index.html
+++ b/index.html
@@ -17,7 +17,7 @@
 vlink="#9900DD">
 
 <a href="../gdb/mascot/"> <img border="0"
-src="../gdb/images/archer.jpg" align="right" alt="[image of Archer
+src="../gdb/images/archer.svg" align="right" alt="[image of Archer
 Fish]" /></a>
 
 <center><h1>GDB: The GNU Project Debugger</h1></center>
@@ -259,7 +259,7 @@ Floor, Boston, MA 02110-1301 USA.</p>
 <p>Verbatim copying and distribution of this entire article is
 permitted in any medium, provided this notice is preserved.</p>
 
-<p>Last modified 2018-09-05.</p>
+<p>Last modified 2018-11-19.</p>
 </address>
 
 </body>

diff --git a/index.sh b/index.sh
index 5a565151628150041ee0ca1446211398ffe10035..9f9a31a2db5da65d7c1db29461f3495abc96e1a3 100755 (executable)
--- a/index.sh
+++ b/index.sh
@@ -107,7 +107,7 @@ cat <<EOF
 vlink="#9900DD">
 
 <a href="${prefix}mascot/"> <img border="0"
-src="${prefix}images/archer.jpg" align="right" alt="[image of Archer
+src="${prefix}images/archer.svg" align="right" alt="[image of Archer
 Fish]" /></a>
 
 <center><h1>GDB: The GNU Project Debugger</h1></center>

diff --git a/news/index.html b/news/index.html
index 023d25fc2c937e796f31f70abe2397fa905e1ca9..2564dd625b510494c153128dca5a2a2f409071f1 100644 (file)
--- a/news/index.html
+++ b/news/index.html
@@ -17,7 +17,7 @@
 vlink="#9900DD">
 
 <a href="../../gdb/mascot/"> <img border="0"
-src="../../gdb/images/archer.jpg" align="right" alt="[image of Archer
+src="../../gdb/images/archer.svg" align="right" alt="[image of Archer
 Fish]" /></a>
 
 <center><h1>GDB: The GNU Project Debugger</h1></center>
@@ -1768,7 +1768,7 @@ Floor, Boston, MA 02110-1301 USA.</p>
 <p>Verbatim copying and distribution of this entire article is
 permitted in any medium, provided this notice is preserved.</p>
 
-<p>Last modified 2018-09-05.</p>
+<p>Last modified 2018-11-19.</p>
 </address>
 
 </body>

diff --git a/schedule/index.html b/schedule/index.html
index e50f9256393fb7de11049c28998b244e7d397698..631b88b0217704e26ed31cfce36f1b1664d907c5 100644 (file)
--- a/schedule/index.html
+++ b/schedule/index.html
@@ -17,7 +17,7 @@
 vlink="#9900DD">
 
 <a href="../../gdb/mascot/"> <img border="0"
-src="../../gdb/images/archer.jpg" align="right" alt="[image of Archer
+src="../../gdb/images/archer.svg" align="right" alt="[image of Archer
 Fish]" /></a>
 
 <center><h1>GDB: The GNU Project Debugger</h1></center>
@@ -319,7 +319,7 @@ Floor, Boston, MA 02110-1301 USA.</p>
 <p>Verbatim copying and distribution of this entire article is
 permitted in any medium, provided this notice is preserved.</p>
 
-<p>Last modified 2018-09-05.</p>
+<p>Last modified 2018-11-19.</p>
 </address>
 
 </body>