Re: [bug-gnulib] improve gnulib-tool output

2005-05-13 Thread Stepan Kasal
Hello, I noticed a minor problem here. (It was also present in the previous version: On Fri, May 13, 2005 at 12:04:35AM -0700, Paul Eggert wrote: > ... | sed -e '/^$/d;' -e 's/^/ /' I'd use either sed '/^$/d;s/^/ /' or sed -e '/^$/d' -e 's/^/ /' I'm afraid that the extra se

Re: [bug-gnulib] improve gnulib-tool output

2005-05-13 Thread Paul Eggert
> Would it make sense to give meaning to `configure; make; make install' > within gnulib to install gnulib-tool onto the user's preferred > location? And would an option such as `gnulib-tool --location' that > outputs the location of gnulib's database be a useful addition? I'd vote for the latter

[bug-gnulib] improve gnulib-tool output

2005-05-12 Thread Eric Blake
When bootstrapping m4 CVS HEAD, I noticed that gnulib-tool is rather repetitive: You may need to add #include directives for the following .h files. #include #include #include #include "error.h" #include "exit.h" #include "exitfail.h" #include #include "gettext.h" #include