Samuel Dionne-Riel
a45edd9024
doc: ran make format
...
With visual inspection that nothing got worse.
2018-05-31 21:03:37 -04:00
Graham Christensen
77161de454
nixpkgs docs: format =)
2018-05-01 19:54:21 -04:00
Vladimír Čunát
17c4b83d05
Merge #31320 : docs and glibc: explicit comments on outputs
2018-04-22 11:55:23 +02:00
Jan Tojnar
70a0580e38
stdenv: Move devhelp books to outputDevdoc
2017-11-24 02:09:44 +01:00
Ilya Kolpakov
da3658f1bf
docs: multiple outputs: now mentions glibc as not having executables in the first output contrary to the convention
2017-11-06 15:24:40 +01:00
Tuomas Tynkkynen
aeeb23853a
stdenv: Don't move info pages to the 'man' output
...
Because if you were to disable man pages via 'programs.man.enable',
the "man" output wouldn't be installed and the info pages would go
missing.
2017-08-11 21:32:55 +03:00
Tuomas Tynkkynen
e4876d6e43
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.
2017-08-11 21:32:54 +03:00
Linus Heckemann
5c7f4669a7
nixpkgs manual: Remove obsolete warning ( #21117 )
...
PR #815 has already been cherry-picked into the default nix version 1.11.8.
2017-04-23 22:40:35 +02:00
Eelco Dolstra
5f8a330d40
outputDocdev -> outputDevdoc
...
For consistency with the devdoc output.
2016-09-20 17:44:48 +02:00
Eelco Dolstra
594c47e5eb
Don't nuke section 3 manpages by default
...
They now go to devman, devdoc, or $outputMan, in that order. This is
to prevent cases such as the man-pages package quietly losing its
section 3 pages.
2016-09-20 17:42:43 +02:00
Eelco Dolstra
8172cd734c
docdev -> devdoc
...
It's "developer documentation", not "documentation developer" after
all.
2016-09-01 11:07:23 +02:00
Tuomas Tynkkynen
03fb2c1f32
doc: Document changes to multiple-output conventions
2016-08-30 04:46:59 +03:00
Vladimír Čunát
60fa61c830
manual multiple-output: clarify a note
2016-04-09 23:29:23 +02:00
Vladimír Čunát
c73191f11e
nixpkgs manual: add multiple-output chapter
2016-04-07 16:00:41 +02:00
