3 ### Makefile for Wrestlers protocol documents
5 ### (c) 2008 Mark Wooding
8 ###----- Licensing notice ---------------------------------------------------
10 ### This program is free software; you can redistribute it and/or modify
11 ### it under the terms of the GNU General Public License as published by
12 ### the Free Software Foundation; either version 2 of the License, or
13 ### (at your option) any later version.
15 ### This program is distributed in the hope that it will be useful,
16 ### but WITHOUT ANY WARRANTY; without even the implied warranty of
17 ### MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
18 ### GNU General Public License for more details.
20 ### You should have received a copy of the GNU General Public License
21 ### along with this program; if not, write to the Free Software Foundation,
22 ### Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
24 ###--------------------------------------------------------------------------
25 ### Various useful tools.
31 CLEANFILES
+= *.
[0-9]* *.mps
34 for i in
$*.
[0-9]*; do mv
$$i $*-$${i
##*.}.mps || exit 1; done
38 CLEANFILES
+= *.log
*.
dvi *.ps
*.toc
*.lot
*.lof
*.aux
*.pdf
*.bbl
*.blg
40 %.pdf
: %.ps
; pstopdf
$<
41 %.ps
: %.
dvi; dvips
-o
$@.new
$< && mv
$@.new
$@
43 %.gz
: %; gzip
-9vc
$^
>$@.new
&& mv
$@.new
$@
45 ###--------------------------------------------------------------------------
46 ### Making the main paper.
48 all:: wrestlers.ps wrestlers.ps.gz wrestlers.pdf
49 wrestlers.dvi-stamp
: wrestlers.
tex
50 .
/build-latex.sh wrestlers bibtex
$< \
51 '\let\iffancystyle\iftrue'
53 all:: wr-llncs.ps wr-llncs.ps.gz wr-llncs.pdf
54 wr-llncs.dvi-stamp
: wrestlers.
tex
55 .
/build-latex.sh wr-llncs bibtex
$< \
56 '\let\iffancystyle\iffalse \let\ifshort\iftrue'
58 ###--------------------------------------------------------------------------
59 ### Making the slides.
61 all:: wr-slides.pdf-stamp
62 wr-slides.pdf-stamp
: wrslides.
tex wr-main.
tex
63 .
/build-latex.sh wr-slides pdf
$< \
64 '\includeonly{wr-main}'
66 ###--------------------------------------------------------------------------
70 clean:; rm -f
$(CLEANFILES
)
72 ###----- That's all, folks --------------------------------------------------