Shellscript updating

2018-08-16 22:26:55 +02:00 · 2018-08-16 22:26:55 +02:00 · b5f3e3dac7
commit b5f3e3dac7
parent d6b2557791
9 changed files with 0 additions and 9 deletions
--- a/about.html
+++ b/about.html
@ -62,7 +62,6 @@
            var objDiv=document.getElementById("toc")
            function scroll() {
                var elem=document.getElementsByClassName("nav-link active")[0]
-                alert(elem.textContent)
                if (elem != null && last != elem.textContent) {
                    last=elem.textContent;
                    objDiv.scrollTop = elem.offsetTop;
--- a/about_us.html
+++ b/about_us.html
@ -62,7 +62,6 @@
            var objDiv=document.getElementById("toc")
            function scroll() {
                var elem=document.getElementsByClassName("nav-link active")[0]
-                alert(elem.textContent)
                if (elem != null && last != elem.textContent) {
                    last=elem.textContent;
                    objDiv.scrollTop = elem.offsetTop;
--- a/content.html
+++ b/content.html
@ -62,7 +62,6 @@
            var objDiv=document.getElementById("toc")
            function scroll() {
                var elem=document.getElementsByClassName("nav-link active")[0]
-                alert(elem.textContent)
                if (elem != null && last != elem.textContent) {
                    last=elem.textContent;
                    objDiv.scrollTop = elem.offsetTop;
--- a/credits.html
+++ b/credits.html
@ -62,7 +62,6 @@
            var objDiv=document.getElementById("toc")
            function scroll() {
                var elem=document.getElementsByClassName("nav-link active")[0]
-                alert(elem.textContent)
                if (elem != null && last != elem.textContent) {
                    last=elem.textContent;
                    objDiv.scrollTop = elem.offsetTop;
--- a/gallery.html
+++ b/gallery.html
@ -62,7 +62,6 @@
            var objDiv=document.getElementById("toc")
            function scroll() {
                var elem=document.getElementsByClassName("nav-link active")[0]
-                alert(elem.textContent)
                if (elem != null && last != elem.textContent) {
                    last=elem.textContent;
                    objDiv.scrollTop = elem.offsetTop;
--- a/licensing.html
+++ b/licensing.html
@ -62,7 +62,6 @@
            var objDiv=document.getElementById("toc")
            function scroll() {
                var elem=document.getElementsByClassName("nav-link active")[0]
-                alert(elem.textContent)
                if (elem != null && last != elem.textContent) {
                    last=elem.textContent;
                    objDiv.scrollTop = elem.offsetTop;
--- a/playguide.html
+++ b/playguide.html
@ -68,7 +68,6 @@
            var objDiv=document.getElementById("toc")
            function scroll() {
                var elem=document.getElementsByClassName("nav-link active")[0]
-                alert(elem.textContent)
                if (elem != null && last != elem.textContent) {
                    last=elem.textContent;
                    objDiv.scrollTop = elem.offsetTop;
--- a/releases.html
+++ b/releases.html
@ -62,7 +62,6 @@
            var objDiv=document.getElementById("toc")
            function scroll() {
                var elem=document.getElementsByClassName("nav-link active")[0]
-                alert(elem.textContent)
                if (elem != null && last != elem.textContent) {
                    last=elem.textContent;
                    objDiv.scrollTop = elem.offsetTop;
--- a/videos.html
+++ b/videos.html
@ -62,7 +62,6 @@
            var objDiv=document.getElementById("toc")
            function scroll() {
                var elem=document.getElementsByClassName("nav-link active")[0]
-                alert(elem.textContent)
                if (elem != null && last != elem.textContent) {
                    last=elem.textContent;
                    objDiv.scrollTop = elem.offsetTop;