From 0c7c84407d65f3d03ad1fe3984ae4d524992f498 Mon Sep 17 00:00:00 2001
From: Ludovic Courtès <ludo@gnu.org>
Date: Mon, 25 May 2020 17:24:54 +0200
Subject: 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 59f7724a1e..99ac8b850e 100644
--- a/doc/build.scm
+++ b/doc/build.scm
@@ -137,7 +137,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)
-- 
cgit v1.2.3