Synopsis: mplayer update omits HTML docs State-Changed-From-To: open->closed State-Changed-By: jakllsch%NetBSD.org@localhost State-Changed-When: Fri, 19 Apr 2013 14:47:57 +0000 State-Changed-Why: mplayer-1.1nb5 contains the HTML documentation again