remove double / in path part of image url.

Author: rouilj

doc/html_extra/spec.html

@@ -17,7 +17,7 @@
 <td align="right">
 <table>
 <tr><td>
-<a href="http://www.acl.lanl.gov"><img src="images//logo-acl-medium.png" alt="[ACL Logo]" border="0"></a>
+<a href="http://www.acl.lanl.gov"><img src="images/logo-acl-medium.png" alt="[ACL Logo]" border="0"></a>
 </td></tr>
 <tr><td><hr></td></tr>
 <tr><td>