guile-commits
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Guile-commits] 08/10: [build doc] Accomodate whitespace-injecting makei


From: Thien-Thi Nguyen
Subject: [Guile-commits] 08/10: [build doc] Accomodate whitespace-injecting makeinfo
Date: Fri, 3 Mar 2017 04:17:05 -0500 (EST)

ttn pushed a commit to branch branch_release-1-8
in repository guile.

commit de2d678982acc23ef7d4daa42c87e16f5eb3da96
Author: Thien-Thi Nguyen <address@hidden>
Date:   Fri Mar 3 06:51:23 2017 +0100

    [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 1299cf2..2e5b577 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/' $@ > address@hidden && mv address@hidden $@
 
 else
 



reply via email to

[Prev in Thread] Current Thread [Next in Thread]