Added my trademark (but not really trademarked) ``GNU/Linux Inside!'' page fold

This also corrects image paths in manual subdirs.

images/COPYING

@@ -1,3 +1,7 @@
+The ``GNU Inside'' page fold and its source file, authored by Mike Gerwitz, are
+licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License.
+
+
 Image Credits
 =============
 dvsup.png, rough_diagonal.png and cross_scratches.png authored by "Cody L.",

includes/footer.html

@@ -1,6 +1,9 @@
     </div>
 
     <div class="footer">
+      <a href="http://www.gnu.org/" id="gnuinside">
+        <img src="images/gnu-inside.png" alt="GNU/Linux Inside!" />
+      </a>
       <p class="copyright">
         Copyright &copy; 2011, 2012, 2013 <a href="http://mikegerwitz.com">Mike Gerwitz</a>
       </p>

style.css

@@ -509,3 +509,15 @@ pre .chunk {
 pre .tex .formula {
   opacity: 0.5;
 }
+
+
+/* GNU/Linux page fold */
+#gnuinside {
+  position: absolute;
+  display:  block;
+
+  top:    0px;
+  right:  0px;
+  width:  50px;
+  height: 50px;
+}

tools/webdoc

@@ -68,7 +68,8 @@ webify()
   # if necessary, rewrite links to point to the proper directory (we do not use
   # absolute paths, as that is not friendly to viewing the documentation on a
   # filesystem)
-  shref='sed \"s#href=\\\"\\([^\\\"]\\+\\)\\\"#href=\\\"'"$root"'\\1\\\"#g\"'
+  shref='sed \"s#\\(src\\|href\\)=\\\"\\([^\\\"]\\+\\)\\\"#'
+  shref="$shref"'\\1=\\\"'"$root"'\\2\\\"#g\"'
   shref="$shref | sed 's#//\\\"#\\\"#g'"
 
   echo "Styling $path..."