Update DocbookGenerator.php