diff options
author | Marius Bakke <marius@gnu.org> | 2022-08-11 19:28:01 +0200 |
---|---|---|
committer | Marius Bakke <marius@gnu.org> | 2022-08-11 22:39:14 +0200 |
commit | f7e8be231806a904e6817e8ab3404b32f2511db2 (patch) | |
tree | 4966779562a7b5a881c533c2732e8ce133641552 /gnu/system/install.scm | |
parent | e9afd8a00595fdc07a0df3a7680cecdb8aa16df7 (diff) |
gnu: texinfo: Fix @headings regression.
* gnu/packages/patches/texinfo-headings-single.patch: New file.
* gnu/local.mk (dist_patch_DATA): Adjust accordingly.
* gnu/packages/texinfo.scm (texinfo)[source](patches): New field.
* gnu/packages/commencement.scm (texinfo-boot0)[source]: Use BOOTSTRAP-ORIGIN.
Diffstat (limited to 'gnu/system/install.scm')
0 files changed, 0 insertions, 0 deletions