kc3-lang/gnulib

2024-01-29T18:39:44

gendocs: get only targetted manual source and includes, when possible * build-aux/gendocs.sh: if makeinfo, based on version, has the --trace-includes option, gather only the targetted manual srcfile and the included files obtained with makeinfo --trace-includes. In that case output include files to tar stdin and use -T-. Bruno Haible for the version comparison and use of tar.