From: grahambenharper <grahambenharper@gmail.com>
Date: Mon, 17 Feb 2020 19:22:44 +0000 (-0700)
Subject: Fix use of array concatenation
X-Git-Tag: v9.2.0-rc1~511^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d2ab81e17aa83a003c92735e372b72d903cb0c5d;p=dealii.git

Fix use of array concatenation
---

diff --git a/contrib/utilities/checkdoxygen.py b/contrib/utilities/checkdoxygen.py
index 4a43942d97..4de75128e2 100755
--- a/contrib/utilities/checkdoxygen.py
+++ b/contrib/utilities/checkdoxygen.py
@@ -119,7 +119,7 @@ if 'intro.dox' in args[0]:
     fstep.close()
 
     fres = open(resultsname)
-    lines.append(fres.readlines())
+    lines += fres.readlines()
     fres.close()
     
     # check the file group