…
..
build.sh
texindex-texindex.in.patch	texinfo: Use patch instead of sed	2018-07-15 17:05:11 +02:00