diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-05-25 17:24:54 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-08-26 22:59:39 +0200 |
| commit | 0c7c84407d65f3d03ad1fe3984ae4d524992f498 (patch) | |
| tree | 0244371a1eb6e1531de19ed6c53f9b5b91e33a57 | |
| parent | 3601d8112c29debe0db350babcf982ff14fee0ba (diff) | |
doc: Remove one use of 'file-append*'.origin/version-1.1.0
* doc/build.scm (texinfo-manual-source)[build]: Use 'file-append', not
'file-append*', for 'htmlxref.cnf', to ensure it has the right basename.
| -rw-r--r-- | doc/build.scm | 2 |
1 files changed, 1 insertions, 1 deletions
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 @@ 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) |