From: Vincent Belaïche <vincentb1@users.sourceforge.net>
Date: Sun, 4 Oct 2015 06:16:35 +0000 (+0200)
Subject: Restore blank line before next section, erroneously erased in my previous commit
X-Git-Tag: emacs-25.0.90~1223^2~12
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=ddb8f90322e2dd3e3dc598d29241442a9e8bcf2d;p=emacs.git

Restore blank line before next section, erroneously erased in my previous commit

* etc/compilation.txt (symbol ant): add an additional trailing blank line to this section, so that there are two of them immediately before the next section
---

diff --git a/etc/compilation.txt b/etc/compilation.txt
index 8f4986a32d7..da6df8a1bb4 100644
--- a/etc/compilation.txt
+++ b/etc/compilation.txt
@@ -54,6 +54,7 @@ jikes are the ending line and ending column.
     [jikes]  foo.java:3:5:7:9: blah blah
   [javadoc] c:\MyProject\Polynomial.java:560: error: unknown tag: math
 
+
 * Bash v2
 
 symbol: bash