diff options
Diffstat (limited to 'docs/MakefileGuide.html')
| -rw-r--r-- | docs/MakefileGuide.html | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/docs/MakefileGuide.html b/docs/MakefileGuide.html index 9cb5b15bfd..7b4b7552c1 100644 --- a/docs/MakefileGuide.html +++ b/docs/MakefileGuide.html @@ -808,11 +808,6 @@ isn't one.</dd> <dt><a name="ECHO"><tt>ECHO</tt></a><small>(configured)</small></dt> <dd>Specifies the path to the <tt>echo</tt> tool for printing output.</dd> - <dt><a name="ETAGS"><tt>ETAGS</tt></a><small>(configured)</small></dt> - <dd>Specifies the path to the <tt>etags</tt> tool.</dd> - <dt><a name="ETAGSFLAGS"><tt>ETAGSFLAGS</tt></a><small>(configured)</small> - </dt> - <dd>Provides flags to be passed to the <tt>etags</tt> tool.</dd> <dt><a name="EXEEXT"><tt>EXEEXT</tt></a><small>(configured)</small></dt> <dd>Provides the extension to be used on executables built by the makefiles. The value may be empty on platforms that do not use file extensions for |