Include info on setting compiler options on the command line

 when building executables.

diff --git a/doc/src/sgml/install.sgml b/doc/src/sgml/install.sgml
index 06b284882fe350109830ffef50069476d829d502..9a67c98640b20f466d8c3e07bc0cd607305c46e7 100644 (file)
--- 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.
 </Para>
+
+<Para>
+     Compiler options, such as optimization and debugging, may 
+     be specified on the command line using the COPT variable.
+     For example, typing
+<ProgramListing>
+     gmake COPT="-g" all >& make.log &
+</ProgramListing>
+     would invoke your compiler's -g option in all steps of the
+     build.  See src/Makefile.global.in for further details.
+</Para>
 </Step>
 
 <Step Performance="required">