diff options
Diffstat (limited to 'tools/build/options/WITHOUT_MAN')
| -rw-r--r-- | tools/build/options/WITHOUT_MAN | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/build/options/WITHOUT_MAN b/tools/build/options/WITHOUT_MAN index 1379508c2627..85548df0e28a 100644 --- a/tools/build/options/WITHOUT_MAN +++ b/tools/build/options/WITHOUT_MAN @@ -1,2 +1 @@ -.\" $FreeBSD$ Do not build manual pages. |