Hi, Please excuse if the following question is already answered, but I missed it.
What is the suggested workflow for "gnulib-tool --copy-file", described in chapter 20 of the manual? Am I supposed to add the copied file under version control so that a fresh checkout works out of the box? However, this would mean that upstream updates will be ignored. Or is it the idea to add an invocation to 'gnulib-tool --copy-file" to bootstrap_post_import_hook? If that is the case, may I suggest adding a bootstrap variable, say, "gnulib_files" that will cause bootstrap to copy the files automatically? Thanks, Marc