diff options
author | Paul Smith <psmith@gnu.org> | 2002-09-18 20:51:58 +0000 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2002-09-18 20:51:58 +0000 |
commit | ebd05dbeb31dbc09c496d76e802d9b68bd848e9a (patch) | |
tree | da4a5274f20e107b74120f1f1bef2e43b2f38113 /doc | |
parent | 76652d5d02b31941ec085435f62b6c955d7e63d3 (diff) | |
download | gunmake-ebd05dbeb31dbc09c496d76e802d9b68bd848e9a.tar.gz |
Fix a bug exporting/unexporting multiple variables in one command.
Update the text about reporting bugs.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/make.texi | 28 |
1 files changed, 20 insertions, 8 deletions
diff --git a/doc/make.texi b/doc/make.texi index 0593f19..2efcca0 100644 --- a/doc/make.texi +++ b/doc/make.texi @@ -442,24 +442,36 @@ documentation! Before reporting a bug or trying to fix it yourself, try to isolate it to the smallest possible makefile that reproduces the problem. Then -send us the makefile and the exact results @code{make} gave you. When -generating this small makefile, be sure to not use any non-free or -unusual tools in your commands: you can almost always emulate what +send us the makefile and the exact results @code{make} gave you, +including any error or warning messages. Please don't paraphrase +these messages: it's best to cut and paste them into your report. +When generating this small makefile, be sure to not use any non-free +or unusual tools in your commands: you can almost always emulate what such a tool would do with simple shell commands. Finally, be sure to explain what you expected to occur; this will help us decide whether the problem was really in the documentation. -Once you've got a precise problem, please send electronic mail to: +Once you have a precise problem you can report it in one of two ways. +Either send electronic mail to: @example bug-make@@gnu.org @end example @noindent -Please include the version number of @code{make} you are using. You can -get this information with the command @samp{make --version}. -Be sure also to include the type of machine and operating system you are -using. +or use our Web-based project management tool, at: + +@example + http://savannah.gnu.org/projects/make/ +@end example + +@noindent +In addition to the information above, please be careful to include the +version number of @code{make} you are using. You can get this +information with the command @samp{make --version}. Be sure also to +include the type of machine and operating system you are using. One +way to obtain this information is by looking at the final lines of +output from the command @samp{make --help}. @node Introduction, Makefiles, Overview, Top @comment node-name, next, previous, up |