summaryrefslogtreecommitdiff
path: root/docs/Projects.html
diff options
context:
space:
mode:
Diffstat (limited to 'docs/Projects.html')
-rw-r--r--docs/Projects.html7
1 files changed, 0 insertions, 7 deletions
diff --git a/docs/Projects.html b/docs/Projects.html
index 54f747eea9..45f6af5711 100644
--- a/docs/Projects.html
+++ b/docs/Projects.html
@@ -402,13 +402,6 @@ do:</p>
<div>
<dl>
- <dt>ExtraSource
- <dd>
- This variable contains a space separated list of extra source
- files that need to be built. It is useful for including the
- output of Lex and Yacc programs.
- <p>
-
<dt>CFLAGS
<dt>CPPFLAGS
<dd>