6 commits

Author	SHA1	Message	Date
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