diff options
-rw-r--r-- | Makefile.common | 3 | ||||
-rw-r--r-- | docs/Projects.html | 7 |
2 files changed, 1 insertions, 9 deletions
diff --git a/Makefile.common b/Makefile.common index e1f52036f6..55e2b63434 100644 --- a/Makefile.common +++ b/Makefile.common @@ -30,8 +30,7 @@ # # 4. Source - If specified, this sets the source code filenames. If this # is not set, it defaults to be all of the .cpp, .c, .y, and .l files -# in the current directory. Also, if you want to build files in addition -# to the local files, you can use the ExtraSource variable +# in the current directory. # # 5. SourceDir - If specified, this specifies a directory that the source files # are in, if they are not in the current directory. This should include a 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> |