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
..
2016-08-31 11:34:46 +02:00
2016-05-22 10:05:37 +01:00
2016-05-04 20:31:38 +01:00
2015-09-22 20:23:23 +02:00
2012-05-11 21:42:00 +00:00