mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-06-27 21:40:34 +02:00
Code Activity

[build doc] Accomodate whitespace-injecting makeinfo

Browse source 
* 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.
This commit is contained in:
Thien-Thi Nguyen 2017-03-03 06:51:23 +01:00
parent ec27e23318
commit de2d678982
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
libguile/Makefile.am
View file

@ -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