Commit daeabcd8d6e73b254273559b1e4251a1498fceb9

Paul Eggert 2024-01-27T12:44:25

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.