From 8c23d7a15e90481f0b4ab2ba9bd178d68e7affaa Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Mon, 25 May 2020 17:24:54 +0200
Subject: [PATCH] doc: Remove one use of 'file-append*'.
* doc/build.scm (texinfo-manual-source)[build]: Use 'file-append', not
'file-append*', for 'htmlxref.cnf', to ensure it has the right basename.
---
doc/build.scm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/build.scm b/doc/build.scm
index def4bdf18ac..7256fb9bb50 100644
--- a/doc/build.scm
+++ b/doc/build.scm
@@ -141,7 +141,7 @@ (define (make-version-texi language)
(date->string date "~B ~Y")
version version))))))
- (install-file #$(file-append* documentation "/htmlxref.cnf")
+ (install-file #$(file-append documentation "/htmlxref.cnf")
#$output)
(for-each (lambda (texi)
--
GitLab