diff options
author | Tuomas Tynkkynen <tuomas.tynkkynen@iki.fi> | 2017-07-11 12:05:31 +0300 |
---|---|---|
committer | Tuomas Tynkkynen <tuomas.tynkkynen@iki.fi> | 2017-08-11 21:32:54 +0300 |
commit | e4876d6e43fd3a0198f2133371b3450b9ce0b016 (patch) | |
tree | 9fa5b2fd26bcc1af47345ece36450419693e8a71 /doc/multiple-output.xml | |
parent | 1ff422aa23d3c38089e08bad6e77178d36445215 (diff) |
stdenv: Don't move man or info pages to $doc
Because .doc is normally not installed to user environments, these manpages are unaccessible by default otherwise.
Diffstat (limited to 'doc/multiple-output.xml')
-rw-r--r-- | doc/multiple-output.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/multiple-output.xml b/doc/multiple-output.xml index a81ad6ca9eb4d..a9151b2da3e99 100644 --- a/doc/multiple-output.xml +++ b/doc/multiple-output.xml @@ -73,7 +73,7 @@ <varlistentry><term><varname> $outputMan</varname></term><listitem><para> - is for man pages (except for section 3). They go to <varname>man</varname> or <varname>doc</varname> or <varname>$outputBin</varname> by default. + is for man pages (except for section 3). They go to <varname>man</varname> or <varname>$outputBin</varname> by default. </para></listitem></varlistentry> <varlistentry><term><varname> @@ -83,7 +83,7 @@ <varlistentry><term><varname> $outputInfo</varname></term><listitem><para> - is for info pages. They go to <varname>info</varname> or <varname>doc</varname> or <varname>$outputMan</varname> by default. + is for info pages. They go to <varname>info</varname> or <varname>$outputMan</varname> by default. </para></listitem></varlistentry> </variablelist> |