updated manual and fixed TexLive to Tex Live