diff options
| author | Arsen Arsenović <arsen@aarsen.me> | 2023-04-06 12:20:57 +0200 |
|---|---|---|
| committer | Arsen Arsenović <arsen@aarsen.me> | 2023-04-20 22:57:16 +0200 |
| commit | fa3a566378286bcf1fb8157e305ab54034cf3c09 (patch) | |
| tree | 1c4bbb00cbb550f0b3d095fc176187d46f6a05c2 /gcc | |
| parent | afc7e20e793ce4071a7fe593ccebb2e6b2b070fa (diff) | |
| download | gcc-fa3a566378286bcf1fb8157e305ab54034cf3c09.zip gcc-fa3a566378286bcf1fb8157e305ab54034cf3c09.tar.gz gcc-fa3a566378286bcf1fb8157e305ab54034cf3c09.tar.bz2 | |
update_web_docs_git: Allow setting TEXI2*, add git build default
maintainer-scripts/ChangeLog:
* update_web_docs_git: Add a mechanism to override makeinfo,
texi2dvi and texi2pdf, and default them to
/home/gccadmin/texinfo/install-git/bin/${tool}, if present.
Diffstat (limited to 'gcc')
0 files changed, 0 insertions, 0 deletions