[PATCH] doc/local.tex (was: [maybe-BUG] unison-manual.tex only with make)
| Newsgroups | gmane.network.unison.devel |
|---|---|
| Message-ID | <[email protected]> |
On 2014-10-29 18:59 <[email protected]> wrote: > It costs me time to find out how to build unsion-manual.tex. > > I can only build it with "make". It makes sence in a source-repository > of course. > > But there should be a way or a informative error message when someone > try to build a tex-file the usual way - with a tex-environment. > > "textdirectives.tex not found." I build made a patch for this. What do you think? PS: Is this way of creating and distributing a patch ok? _______________________________________________ Unison-hackers mailing list [email protected] http://lists.seas.upenn.edu/mailman/listinfo/unison-hackers
local.tex.diff
(text/x-patch, 685 B)
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}