fix warning when generating info file

diff --git a/doc/atari5200.sgml b/doc/atari5200.sgml
index e9bff451a9531809b4c6997a95cd7fdc94668dce..a19641fe7d21d1ab9b1c652f3c87d2e4fea25ebc 100644 (file)
--- a/doc/atari5200.sgml
+++ b/doc/atari5200.sgml
@@ -121,12 +121,8 @@ The names in the parentheses denote the symbols to be used for static linking of
 
 <sect1>Graphics drivers<p>
 
-<descrip>
-
 No graphics drivers are currently available for the Atari 5200.
 
-</descrip><p>
-
 
 <sect1>Extended memory drivers<p>