diff options
Diffstat (limited to 'docs')
-rw-r--r-- | docs/MakefileGuide.html | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/MakefileGuide.html b/docs/MakefileGuide.html index 5838250f0a..a66f78a37c 100644 --- a/docs/MakefileGuide.html +++ b/docs/MakefileGuide.html @@ -785,6 +785,9 @@ not.</dd> <dt><a name="PROJ_SRC_DIR"><tt>PROJ_SRC_DIR</tt></a></dt> <dd>The directory which contains the source files to be built.</dd> + <dt><a name="BUILD_EXAMPLES"><tt>BUILD_EXAMPLES</tt></a></dt> + <dd>If set to 1, build examples in <tt>examples</tt> and (if building + Clang) <tt>tools/clang/examples</tt> directories.</dd> <dt><a name="BZIP2"><tt>BZIP2</tt></a><small>(configured)</small></dt> <dd>The path to the <tt>bzip2</tt> tool.</dd> <dt><a name="CC"><tt>CC</tt></a><small>(configured)</small></dt> |