Hi Collin, > How about the attached patch instead, which adds a > 'gnu_web_doc_update_args' Makefile variable and passes it to the script? > I prefer that to an environment variable. > > Then, for example, in GNU Hello's cfg.mk I could add: > > gnu_web_doc_update_args = --user collinfunk > > And have things work as expected.
But you are not / won't always be the only maintainer of GNU Hello. To me, an environment variable is the better choice. Every user can set it in their own ~/.bash_profile: SAVANNAH_CVS_USER=collinfunk That would be - per-user, not per-project, - unambiguous regarding the purpose. Bruno
