resolve a number of small issues identified by lintian

[debian/atlc] / docs / html-docs / options.html

diff --git a/docs/html-docs/options.html b/docs/html-docs/options.html
index d88acb3c82391961eb6b02f6eb155f9a03963e7c..a6e356a6fed3306f2dd50f858c5c3c439a943dfa 100644 (file)
--- a/docs/html-docs/options.html
+++ b/docs/html-docs/options.html
@@ -142,9 +142,6 @@ This is the verbose option, so it prints extra data to stdout. <br>
 <a href="http://homepage.ntlworld.com/drkirkby/list7.html"></a>
 <BR>
 <BR>
-<A href="http://sourceforge.net"> <IMG
-src="http://sourceforge.net/sflogo.php?group_id=25836&amp;type=5"
-width="210" height="62" border="0" alt="SourceForge.net
-Logo"></A>
+<A href="http://sourceforge.net"> SourceForge.net</A>
 </body>
 </html>