From 9abce76d213286f4125499b899e94e57d25e86c6 Mon Sep 17 00:00:00 2001 From: Michael Wiebusch Date: Thu, 15 Aug 2013 18:24:46 +0200 Subject: [PATCH] last fix was wrong, now better fix --- tools/xmlRendering.pm | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/tools/xmlRendering.pm b/tools/xmlRendering.pm index 7b183e0..9a1e1cb 100644 --- a/tools/xmlRendering.pm +++ b/tools/xmlRendering.pm @@ -245,7 +245,7 @@ EOF } print ''; - if ( $xmlfile eq $specFile ) { # we are printing the Specifications tree + if ( $xmlfile eq $configFile) { print qq%%; print "H"; print ""; @@ -257,6 +257,8 @@ EOF print qq%%; print "D"; print ""; + } + if ( $xmlfile eq $specFile ) { # we are printing the Specifications tree print < →  EOF -- 2.43.0