Added footer

docs/footer.html

@@ -0,0 +1,14 @@
+<script>
+    var filename = location.href.match(/([^\/]+)?\.3.html$/)[1];
+    var div = document.createElement('div');
+    div.innerHTML = 'Found a typo? ' +
+        linkTo('View', 'blob') + ' and ' + 
+        linkTo('edit', 'edit') + ' this file online at GitHub.';
+
+    document.getElementById('man').appendChild(div);
+
+    function linkTo(text, dir) {
+        return '<a href="https://github.com/1602/jugglingdb/' +
+            dir + '/master/docs/' + filename + '.md">' + text + '</a>';
+    }
+</script>

scripts/doc.sh

@@ -23,7 +23,8 @@ case $dest in
       --style='print toc'\
       --organization=1602\ Software\
       --manual=JugglingDB &&\
-    cat docs/ga.html) > $2
+      cat docs/ga.html &&\
+      cat docs/footer.html) > $2
     exit $?
     ;;
 esac