diff options
| author | Marius Bakke <marius@gnu.org> | 2020-05-29 23:36:38 +0200 |
|---|---|---|
| committer | Marius Bakke <marius@gnu.org> | 2020-05-29 23:36:38 +0200 |
| commit | fe6d003908fd8278de65761bc550240c520ef9f4 (patch) | |
| tree | abe88c7905a8907ddafc554fbeef5b0af08f835d /doc/build.scm | |
| parent | 8a7a5dc7805f4628e60f90af6b2416f951d0c034 (diff) | |
| parent | 031315e4f0fbc4e04ffc8adee04128c23173a1f7 (diff) | |
Merge branch 'master' into staging
Diffstat (limited to 'doc/build.scm')
| -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 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) |