\input ../../LICENSE \generate{\file{phil.tex}{\from{guide.dtx}{phil}}} \endbatchfile