From 33c995079b6e01f5c1640fb927f9046233f19fac Mon Sep 17 00:00:00 2001
From: Ferdinand Vanmaele <Vanmaele@stud.uni-heidelberg.de>
Date: Wed, 11 Sep 2019 15:50:30 +0200
Subject: [PATCH] set_canonical_doxygen.pl: skip ./header.html

---
 doc/doxygen/scripts/set_canonical_doxygen.pl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/doxygen/scripts/set_canonical_doxygen.pl b/doc/doxygen/scripts/set_canonical_doxygen.pl
index 51af255142..d4dbc2045a 100644
--- a/doc/doxygen/scripts/set_canonical_doxygen.pl
+++ b/doc/doxygen/scripts/set_canonical_doxygen.pl
@@ -41,6 +41,7 @@ for my $filename (@html) {
      if ($filename eq "./header.html")
      {
 	  # there is no relevant content in the header
+	  next;
      }
 
      open(my $file_handle, "+<:encoding(UTF-8)", $filename)
-- 
2.39.5