Create laTeX version of minim-revised doc