diff options
| -rw-r--r-- | docs/MakefileGuide.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/MakefileGuide.html b/docs/MakefileGuide.html index b0ec251479..6713db623e 100644 --- a/docs/MakefileGuide.html +++ b/docs/MakefileGuide.html @@ -510,7 +510,7 @@ <dd>If set to any value, specifies that when linking executables the makefiles should retain debug symbols in the executable. Normally, symbols are stripped from the executable.</dd> - <dt><a name="LEVEL"><tt>LEVEL</tt></a><small>(required)</dt> + <dt><a name="LEVEL"><tt>LEVEL</tt></a><small>(required)</small></dt> <dd>Specify the level of nesting from the top level. This variable must be set in each makefile as it is used to find the top level and thus the other makefiles.</dd> |