]> mj.ucw.cz Git - ga.git/blob - all/Makefile
Na webu publikujeme i ChangeLog.
[ga.git] / all / Makefile
1 P=ga
2 X=$(shell for a in 0 1 2 3 4 5 6 7 8 9 10 11 ; do echo ../$$a-*/$$a-*.tex ; done)
3
4 universe: ga.ps ChangeLog
5
6 include ../Makerules
7
8 ga.dvi: ga.tex body.tex
9
10 body.tex: $(X) preprocess
11         ./preprocess $(X) >$@
12
13 ChangeLog:
14         git-log --pretty=medium --since='4 weeks ago' --stat | grep -v '^---' >ChangeLog
15
16 clean::
17         rm -f body.tex ChangeLog
18
19 upload::
20         ( cd .. && make clean )
21         ( cd ../.. && tar czf - --exclude .git ga ) | ssh jabberwock 'cd www/vyuka/ga/ && cat >ga.tar.gz.new && mv ga.tar.gz.new ga.tar.gz'
22         make ChangeLog && cat ChangeLog | ssh jabberwock 'cd www/vyuka/ga && cat >ChangeLog.new && mv ChangeLog.new ChangeLog'