diff --git a/doc/buildxml.pl b/doc/buildxml.pl index ba59edfd4..9af6f5b95 100755 --- a/doc/buildxml.pl +++ b/doc/buildxml.pl @@ -49,13 +49,13 @@ $warning_do_not_edit = "\n