From http://www.jwz.org/xscreensaver/xscreensaver-5.31.tar.gz

[xscreensaver] / hacks / xml2man.pl

diff --git a/hacks/xml2man.pl b/hacks/xml2man.pl
index 79d52076474367d4ec64aaff3181ab2865d937f9..d7d4e32355031deedd88c1aeca5289516fc95ce2 100755 (executable)
--- a/hacks/xml2man.pl
+++ b/hacks/xml2man.pl
@@ -24,7 +24,7 @@ use strict;
 use Text::Wrap;
 
 my $progname = $0; $progname =~ s@.*/@@g;
-my ($version) = ('$Revision: 1.6 $' =~ m/\s(\d[.\d]+)\s/s);
+my ($version) = ('$Revision: 1.7 $' =~ m/\s(\d[.\d]+)\s/s);
 
 my $verbose = 0;
 
@@ -182,6 +182,7 @@ sub xml2man($) {
     } elsif (m@^<_description>\s*(.*)\s*</_description>@) {
       $desc = $1;
     } elsif (m@^<xscreensaver-updater@) {
+    } elsif (m@^<video\b@) {
     } else {
       print STDERR "$progname: ERROR: UNKNOWN: $_\n";
     }