From 9882d5163f729ac1d7befecffaeeb3805a4eaa48 Mon Sep 17 00:00:00 2001
From: Matthias Bernt <m.bernt@ufz.de>
Date: Mon, 29 Jul 2024 12:33:44 +0200
Subject: [PATCH] undo changes to tool

---
 tools/mummer4/.lint_skip | 1 +
 tools/mummer4/macros.xml | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)
 create mode 100644 tools/mummer4/.lint_skip

diff --git a/tools/mummer4/.lint_skip b/tools/mummer4/.lint_skip
new file mode 100644
index 00000000000..93b5ffc68a8
--- /dev/null
+++ b/tools/mummer4/.lint_skip
@@ -0,0 +1 @@
+BioToolsValid
diff --git a/tools/mummer4/macros.xml b/tools/mummer4/macros.xml
index e73e0a5d685..d03a61523b4 100644
--- a/tools/mummer4/macros.xml
+++ b/tools/mummer4/macros.xml
@@ -2,7 +2,7 @@
     <token name="@MUMMER_GNUPLOT_MANUAL@"><![CDATA[&& gnuplot < out.gp]]></token>
     <xml name="bio_tools">
         <xrefs>
-            <xref type="bio.tools">mumer4</xref>
+            <xref type="bio.tools">mummer4</xref>
         </xrefs>
     </xml>
     <xml name="citation">