Bug fixed for stdin and stdout in a different platform.
[Faustine.git] / doc / user-manual-src / Makefile
1 cover-faustine-user-manual.pdf : faustine-user-manual.pdf images/cover-faustine.pdf
2 pdftk images/cover-faustine.pdf faustine-user-manual.pdf cat output cover-faustine-user-manual.pdf
3
4 faustine-user-manual.pdf : faustine-user-manual.tex images/cover-faustine.pdf
5 pdflatex faustine-user-manual.tex
6 rail faustine-user-manual
7 pdflatex faustine-user-manual.tex
8
9 clean :
10 rm -f *.out *.toc *.pdf *.aux *.dvi *.rai *.rao *.log *~
11