Vladimír Čunát 8adabe6679 gawk: split $doc into $man and $info ... Info files are rather large and not much used anymore, AFAIK. (We include $man or $doc in the system closure by default.)		2015-10-28 10:16:55 +01:00
..
admin
archivers
audio
backup
bluetooth
bootloaders/refind
cd-dvd
compression	gzip: split man and info outputs	2015-10-28 10:09:33 +01:00
filesystems
graphics	graphviz: simplify and add a missing X library	2015-10-28 10:15:52 +01:00
inputmethods
misc
networking	expat: split dev output	2015-10-28 10:09:34 +01:00
package-management
security	postgresql: split and fixup some referrers	2015-10-28 10:09:32 +01:00
system
text	gawk: split $doc into $man and $info	2015-10-28 10:16:55 +01:00
typesetting
video
virtualization
X11