* build-aux/make-info-dir: Avoid bashism (bug#70484).
authorUlrich Müller <ulm@gentoo.org>
Tue, 23 Apr 2024 05:37:17 +0000 (07:37 +0200)
committerUlrich Müller <ulm@gentoo.org>
Tue, 23 Apr 2024 19:08:02 +0000 (21:08 +0200)
commit42766f95e5c0e7eb9e21db964ed93c7e093cc0b9
treeafd5c1a1498752cf44de77abc07392f031d1c4b9
parent81476fa19e86f4d3a697909a87bec58a48e98d58
* build-aux/make-info-dir: Avoid bashism (bug#70484).
build-aux/make-info-dir