Index: local.tex =================================================================== --- local.tex (Revision 535) +++ local.tex (Arbeitskopie) @@ -2,7 +2,11 @@ \newif\iffull \fullfalse \newif\ifdraft \drafttrue -\input{texdirectives} +\IfFileExists{texdirectives.tex} + {\input{texdirectives}} + {\typeout{== ERROR == The dynamicly generated file `texdirectives.tex' couldn't be found. You should + use `make` to build the manual for Unison (`unison-manual.pdf'). Don't use your + regular TeX-environment.}\stop} \input{unisonversion} \newcommand{\finish}[1]{\ifdraft{\ifhevea\red\else \large\bf\fi [#1]\ifhevea\fi}\fi}