diff --git a/scripts/doc.pl b/scripts/doc.pl index 40c96ea7a62114185aa150ff3796c0b1075499ad..a030d677283f74c609117201ae1fab364a425551 100755 --- a/scripts/doc.pl +++ b/scripts/doc.pl @@ -92,9 +92,9 @@ my $jqueryui = ' - + '; open CMD, "find . -name '*.html'|";