diff options
Diffstat (limited to 'docs')
-rw-r--r-- | docs/MakefileGuide.html | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/docs/MakefileGuide.html b/docs/MakefileGuide.html index 54f6b22..067d276 100644 --- a/docs/MakefileGuide.html +++ b/docs/MakefileGuide.html @@ -747,8 +747,6 @@ 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="BURG"><tt>BURG</tt></a></dt> - <dd>Specifies the path to the <tt>burg</tt> tool.</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> |