From: Karl Berry <karl@freefriends.org>
Date: Sat, 14 Oct 2006 14:00:41 +0000 (+0000)
Subject: gif patents expired
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=cfead13def73da1aab4c182eb6cacc7c0e555d40;p=pspp

gif patents expired
---

diff --git a/doc/gendocs_template b/doc/gendocs_template
index 4611db2921..71fc286c96 100755
--- a/doc/gendocs_template
+++ b/doc/gendocs_template
@@ -25,10 +25,8 @@
 <p>
 <a href="/graphics/gnu-head.jpg">
 	<img src="/graphics/gnu-head-sm.jpg"
-	alt=" [image of the head of a GNU] "
-	width="129" height="122" />
+             alt=" [image of the head of a GNU] " width="129" height="122"/>
 </a>
-<a href="/philosophy/gif.html">(no gifs due to patent problems)</a>
 </p>
 <hr />