]> Savannah Git Hosting - gnulib.git/commit
gendocs: get only targetted manual source and includes, when possible
authorPatrice Dumas <pertusus@free.fr>
Mon, 29 Jan 2024 17:39:44 +0000 (18:39 +0100)
committerBruno Haible <bruno@clisp.org>
Mon, 29 Jan 2024 17:39:44 +0000 (18:39 +0100)
commit73c74ba0197e6566da6882c87b1adee63e24d75c
tree1baec812bedce5a1effab302b1669f5654a0badc
parent35ca41d3c31fcd66430fe472b44386fef8094138
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.
ChangeLog
build-aux/gendocs.sh