On Fri, Aug 15, 2003 at 05:06:33PM +0200, Diego Biurrun wrote: > Hi! > > I'm unsure whether I should remove the dvdnav stuff from the man page > or not... Opinions, comments? Go right ahead! :) Rich