From 508717eac1270508ab87370e119c31973313ed45 Mon Sep 17 00:00:00 2001
From: Ludovic Courtès
Date: Sun, 1 Nov 2020 15:00:16 +0100
Subject: info: Add extra newline after node heading.

This matches what 'makeinfo' does.

* src/guile/skribilo/engine/info.scm (info-node): Add extra newline.
---
 src/guile/skribilo/engine/info.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/guile/skribilo/engine/info.scm b/src/guile/skribilo/engine/info.scm
index 4379cf8..73d1915 100644
--- a/src/guile/skribilo/engine/info.scm
+++ b/src/guile/skribilo/engine/info.scm
@@ -83,7 +83,7 @@
 (define (info-node node next prev up)
    ;; info "(info) Expert Info"
    (print "\n")
-   (format #t "File: ~a,  Node: ~a,  ~:[~*~;Next: ~a,  ~]~:[~*~;Prev: ~a,  ~]Up: ~a~%"
+   (format #t "File: ~a,  Node: ~a,  ~:[~*~;Next: ~a,  ~]~:[~*~;Prev: ~a,  ~]Up: ~a~%~%"
            (info-dest) node next next prev prev up))
 
 ;*---------------------------------------------------------------------*/
-- 
cgit v1.2.3