diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-05-25 17:24:54 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-05-25 23:00:30 +0200 |
| commit | 8c23d7a15e90481f0b4ab2ba9bd178d68e7affaa (patch) | |
| tree | ae9101e2f55d164bc9919d601262d9615758489c /graph.js | |
| parent | abf43d4511566e97f09049aa8b29453a2ed5ed16 (diff) | |
| download | patches-8c23d7a15e90481f0b4ab2ba9bd178d68e7affaa.tar patches-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 'graph.js')
0 files changed, 0 insertions, 0 deletions