Hi. #177675 is a generic linuxdoc issue. Should we reassign this to linuxdoc-tools or close it and tell the submitter to contact linuxdoc-tools upstream? Gruesse, -- Frank Lichtenheld <frank@lichtenheld.de> www: http://www.djpig.de/