doc: add another paper refering to the library
[barvinok.git] / doc / Makefile.am
blob404639d68fddea7f46853eb29a56451fcc9184f6
1 export TEXINPUTS := $(srcdir):$(TEXINPUTS)
2 export BIBINPUTS := $(srcdir):$(BIBINPUTS)
3 export BSTINPUTS := $(srcdir):$(BSTINPUTS)
5 barvinok.dvi: FORCE
6         (cd ..; echo "@GIT_HEAD_VERSION@") > version.tex
7         latex barvinok.tex
8         bibtex barvinok
9         makeindex barvinok.idx
10         makeindex barvinok.glo -o barvinok.gls -s nomencl.ist
11         glosstex barvinok.aux $(srcdir)/barvinok.gdf
12         makeindex barvinok.gxs -o barvinok.glx -s $(srcdir)/glosstex.ist
13         latex barvinok.tex
14         latex barvinok.tex
16 barvinok.pdf: barvinok.dvi
17         dvips -Ppdf barvinok.dvi
18         ps2pdf barvinok.ps
20 FORCE: