From 81f6bf5d7bd3f84a94540b57784f060aeddb7b37 Mon Sep 17 00:00:00 2001
From: Daniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Date: Sun, 8 Apr 2018 00:36:28 +0200
Subject: [PATCH] Guard blank line by HTML comment

---
 examples/step-4/doc/intro.dox | 1 +
 1 file changed, 1 insertion(+)

diff --git a/examples/step-4/doc/intro.dox b/examples/step-4/doc/intro.dox
index c3e0f4e056..e554c4944c 100644
--- a/examples/step-4/doc/intro.dox
+++ b/examples/step-4/doc/intro.dox
@@ -140,3 +140,4 @@ this already, then several of these difficulties are explained in the deal.II
 Frequently Asked Questions (FAQ) linked to from the <a
 href="http://www.dealii.org/">deal.II homepage</a>.
 
+<!--We need a blank line to end the above block properly.-->
-- 
2.39.5