From de2d678982acc23ef7d4daa42c87e16f5eb3da96 Mon Sep 17 00:00:00 2001
From: Thien-Thi Nguyen <ttn@gnu.org>
Date: Fri, 3 Mar 2017 06:51:23 +0100
Subject: [PATCH] [build doc] Accomodate whitespace-injecting makeinfo

* libguile/Makefile.am (guile-procedures.txt) [HAVE_MAKEINFO]:
  After doing makeinfo, use sed to remove whitespace
  betweeen the formfeed and the symbol, in the target file.
---
 libguile/Makefile.am | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/libguile/Makefile.am b/libguile/Makefile.am
index 1299cf293..2e5b577e1 100644
--- a/libguile/Makefile.am
+++ b/libguile/Makefile.am
@@ -302,9 +302,12 @@ guile-procedures.texi: $(alldotdocfiles) guile$(EXEEXT)
 
 if HAVE_MAKEINFO
 
+# Some versions of makeinfo inject whitespace between ^L and symbol.
+# The sed script removes that.
 guile-procedures.txt: guile-procedures.texi
 	rm -f $@
 	makeinfo --force -o $@ guile-procedures.texi || test -f $@
+	sed 's/\(\f\) */\1/' $@ > $@-T && mv $@-T $@
 
 else