[4.0] 8fb3ea6 Output RST comment with enough linefeeds.

[Lasse Karstensen]

commit 8fb3ea686c03fe64bc66da54bbccf4d645343415
Author: Lasse Karstensen <lkarsten at varnish-software.com>
Date:   Tue May 13 13:19:25 2014 +0200

    Output RST comment with enough linefeeds.
    
    Empty RST comments need an extra empty line afterwards, re this output
    from rst2man:
    
        (WARNING/2) Explicit markup ends without a blank line; unexpected unindent

diff --git a/lib/libvcc/vmodtool.py b/lib/libvcc/vmodtool.py
index 74fd633..4d34d07 100755
--- a/lib/libvcc/vmodtool.py
+++ b/lib/libvcc/vmodtool.py
@@ -803,7 +803,7 @@ for suf in ("", ".man"):
 		fp.write("..\n")
 		fp.write(".. This file was autogenerated by %s. DO NOT EDIT!\n" %
 			 basename(__file__))
-		fp.write("..\n")
+		fp.write("..\n\n")
 
 		vx[0].doc_dump(fp, suf)