diff --git a/doc/src/sgml/install.sgml b/doc/src/sgml/install.sgml index 06b284882f..9a67c98640 100644 --- a/doc/src/sgml/install.sgml +++ b/doc/src/sgml/install.sgml @@ -430,6 +430,17 @@ Compile the program. Type change directory back to this directory, type "make clean", then recompile again. + + + Compiler options, such as optimization and debugging, may + be specified on the command line using the COPT variable. + For example, typing + + gmake COPT="-g" all >& make.log & + + would invoke your compiler's -g option in all steps of the + build. See src/Makefile.global.in for further details. +