From eec8e275ed24cd674eafe853ae3326f55a4b5331 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Wed, 26 Jun 2024 18:55:51 +0200
Subject: [PATCH] [headache] fix configuration for .xml header generation
---
headers/headache_config.txt | 3 ++-
src/plugins/markdown-report/share/acsl.xml | 6 +++---
2 files changed, 5 insertions(+), 4 deletions(-)
diff --git a/headers/headache_config.txt b/headers/headache_config.txt
index c612e186c18..00d6eb10ac8 100644
--- a/headers/headache_config.txt
+++ b/headers/headache_config.txt
@@ -171,7 +171,8 @@
########
# XML #
########
-| ".*\.xml" -> frame open: "<!--" line: "-" close: "-->"
+| ".*\.xml" -> frame open: "<!--" line: " " close: "-->"
+| ".*\.xml" -> skip match: "<\?xml.*\?>"
#######
# DTD #
diff --git a/src/plugins/markdown-report/share/acsl.xml b/src/plugins/markdown-report/share/acsl.xml
index 2167e52e805..82bc0fc2de2 100644
--- a/src/plugins/markdown-report/share/acsl.xml
+++ b/src/plugins/markdown-report/share/acsl.xml
@@ -1,4 +1,5 @@
-<!---------------------------------------------------------------------------->
+<?xml version="1.0" encoding="UTF-8"?>
+<!-- -->
<!-- -->
<!-- This file is part of Frama-C. -->
<!-- -->
@@ -18,9 +19,8 @@
<!-- See the GNU Lesser General Public License version 2.1 -->
<!-- for more details (enclosed in the file licenses/LGPLv2.1). -->
<!-- -->
-<!---------------------------------------------------------------------------->
+<!-- -->
-<?xml version="1.0" encoding="UTF-8"?>
<language name="ACSL" version="1" extensions="*.acsl"
section="Sources" kateversion="2.4">
<highlighting>
--
GitLab