summary refs log tree commit diff
path: root/doc
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2020-05-25 17:24:54 +0200
committerLudovic Courtès <ludo@gnu.org>2020-05-25 23:00:30 +0200
commit8c23d7a15e90481f0b4ab2ba9bd178d68e7affaa (patch)
treeae9101e2f55d164bc9919d601262d9615758489c /doc
parentabf43d4511566e97f09049aa8b29453a2ed5ed16 (diff)
downloadguix-8c23d7a15e90481f0b4ab2ba9bd178d68e7affaa.tar.gz
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.
Diffstat (limited to 'doc')
-rw-r--r--doc/build.scm2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/build.scm b/doc/build.scm
index def4bdf18a..7256fb9bb5 100644
--- a/doc/build.scm
+++ b/doc/build.scm
@@ -141,7 +141,7 @@ as well as images, OS examples, and translations."
                             (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)