From: Daniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Date: Sat, 7 Apr 2018 22:36:28 +0000 (+0200)
Subject: Guard blank line by HTML comment
X-Git-Tag: v9.0.0-rc1~208^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=81f6bf5d7bd3f84a94540b57784f060aeddb7b37;p=dealii.git

Guard blank line by HTML comment
---

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.-->