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