log debian/docs @ 1498:6174b815b5f4

age author description
Mon, 21 May 2001 12:43:10 +0000 eyck get docs into /usr/share/doc/mplayer, debian menu for future use and