# HG changeset patch
# User diego
# Date 1075452142 0
# Node ID c0bb03056667044e107489f0c6b17a3e89703bb6
# Parent  b09020364bfb9c60a7d172d2a4f14b32d84eeed8
build fix

diff -r b09020364bfb -r c0bb03056667 DOCS/xml/en/video.xml
--- a/DOCS/xml/en/video.xml	Fri Jan 30 08:40:47 2004 +0000
+++ b/DOCS/xml/en/video.xml	Fri Jan 30 08:42:22 2004 +0000
@@ -1720,7 +1720,8 @@
 </screen></para>
 
 <formalpara>
-<title>Using your DVB card for watching Digital TV (DVB input module)</title>
+<title>Digital TV (DVB input module)</title>
+<para>You can use your DVB card for watching Digital TV.</para>
 </formalpara>
 
 <para>