From 9b1c7b01daef11d07d9c07a7212b5d51154771e3 Mon Sep 17 00:00:00 2001 From: Michael Wiebusch Date: Thu, 15 Aug 2013 18:23:08 +0200 Subject: [PATCH] fix --- tools/xmlRendering.pm | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tools/xmlRendering.pm b/tools/xmlRendering.pm index 9debfc7..7b183e0 100644 --- a/tools/xmlRendering.pm +++ b/tools/xmlRendering.pm @@ -243,7 +243,9 @@ EOF EOF } + print ''; + if ( $xmlfile eq $specFile ) { # we are printing the Specifications tree print qq%%; print "H"; print ""; @@ -255,7 +257,6 @@ EOF print qq%%; print "D"; print ""; - if ( $xmlfile eq $specFile ) { # we are printing the Specifications tree print < →  EOF -- 2.43.0