diff options
| author | imp <imp@FreeBSD.org> | 2014-05-10 16:38:54 +0000 |
|---|---|---|
| committer | imp <imp@FreeBSD.org> | 2014-05-10 16:38:54 +0000 |
| commit | fe4a9fe3d31ca1e610e47cd5aab678df3ae9a586 (patch) | |
| tree | 1add913f40a777c2efcca37e81051d7d9bfd95cf /tools | |
| parent | c6d68cfa0a3f66fd1001846ad4a92106ff1436a9 (diff) | |
| download | FreeBSD-src-fe4a9fe3d31ca1e610e47cd5aab678df3ae9a586.zip FreeBSD-src-fe4a9fe3d31ca1e610e47cd5aab678df3ae9a586.tar.gz | |
Move DOCCOMPRESS to MK variable.
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/build/options/WITHOUT_DOCCOMPRESS | 4 | ||||
| -rw-r--r-- | tools/build/options/WITHOUT_MANCOMPRESS | 5 |
2 files changed, 9 insertions, 0 deletions
diff --git a/tools/build/options/WITHOUT_DOCCOMPRESS b/tools/build/options/WITHOUT_DOCCOMPRESS new file mode 100644 index 0000000..7580202 --- /dev/null +++ b/tools/build/options/WITHOUT_DOCCOMPRESS @@ -0,0 +1,4 @@ +.\" $FreeBSD$ +Set to not to install compressed system documentation. +Only the uncompressed version will be installed. + diff --git a/tools/build/options/WITHOUT_MANCOMPRESS b/tools/build/options/WITHOUT_MANCOMPRESS new file mode 100644 index 0000000..d270d1d --- /dev/null +++ b/tools/build/options/WITHOUT_MANCOMPRESS @@ -0,0 +1,5 @@ +.\" $FreeBSD$ +Set to not to install compressed man pages. +Only the uncompressed versions will be installed. + + |
