bernd 35d4f1a1ee Remove stuff from -main which is -doc already.		2007-05-07 08:33:12 +00:00
..
DESCR-docs
DESCR-main
PLIST-docs
PLIST-main	Remove stuff from -main which is -doc already.	2007-05-07 08:33:12 +00:00