]> Savannah Git Hosting - gnulib.git/commit
gendocs: allow other chars in source file names
authorPaul Eggert <eggert@cs.ucla.edu>
Sat, 27 Jan 2024 20:44:25 +0000 (12:44 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Sat, 27 Jan 2024 20:44:54 +0000 (12:44 -0800)
commitdaeabcd8d6e73b254273559b1e4251a1498fceb9
treebe55472314e38db4cd88a3c85f12d778b872a569
parent21c2ea5e607d4f37cb607ba0270daca8c5465238
gendocs: allow other chars in source file names

* build-aux/gendocs.sh: Generalize to also allow leading ‘-’
and newlines (!) in source file names.  Exit if there
is an error creating the tarball.
ChangeLog
build-aux/gendocs.sh