From: =?utf-8?q?G=C3=B6ran_Weinholt?= <weinholt@debian.org>
Date: Mon, 14 Sep 2020 20:42:54 +0200
Subject: docs/docs.mk: Handle changed GNU Make handling of number signs

GNU Make 4.3 changed how the number sign (#) works and it should no
longer be quoted. The quoting actually turns it into literally \#,
which breaks this Makefile snippet.

Use (format (current-output-port) ...) instead of (format #t ...),
which is functionally equivalent.
---
 doc/docs.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/docs.mk b/doc/docs.mk
index c4d29d7..43125cb 100644
--- a/doc/docs.mk
+++ b/doc/docs.mk
@@ -42,7 +42,7 @@ EXTRA_DIST = 			\
 DISTCLEANFILES =	\
 	Makefile.in
 
-depfiles = $(shell $(GUILE) --no-auto-compile --debug --use-srfi=13 -l $(srcdir)/$(doc).scm -c '(for-each (lambda (m) (format \#t "$(top_srcdir)/src/~a.scm " (string-join (map symbol->string m) "/"))) (map car *modules*))')
+depfiles = $(shell $(GUILE) --no-auto-compile --debug --use-srfi=13 -l $(srcdir)/$(doc).scm -c '(for-each (lambda (m) (format (current-output-port) "$(top_srcdir)/src/~a.scm " (string-join (map symbol->string m) "/"))) (map car *modules*))')
 
 dummy:
 	printf '$(depfiles)'