doc/Makefile.am is modified so that it does not attempt to rebuild
the user's guide if the system does not have xelatex installed.
This commit is contained in:
parent
5e7451167d
commit
fe42e0912c
|
@ -5,11 +5,14 @@ EXTRA_DIST = ikarus-users-guide.tex ikarus-users-guide.bib ikarus-users-guide.pd
|
||||||
TEX=xelatex -output-driver="xdvipdfmx -q -E"
|
TEX=xelatex -output-driver="xdvipdfmx -q -E"
|
||||||
|
|
||||||
ikarus-users-guide.pdf: ikarus-users-guide.tex ikarus-users-guide.bib
|
ikarus-users-guide.pdf: ikarus-users-guide.tex ikarus-users-guide.bib
|
||||||
$(TEX) ikarus-users-guide
|
if test -x "`which xelatex`" ; \
|
||||||
makeindex ikarus-users-guide
|
then \
|
||||||
bibtex ikarus-users-guide
|
$(TEX) ikarus-users-guide && \
|
||||||
$(TEX) ikarus-users-guide
|
makeindex ikarus-users-guide && \
|
||||||
$(TEX) ikarus-users-guide
|
bibtex ikarus-users-guide && \
|
||||||
|
$(TEX) ikarus-users-guide && \
|
||||||
|
$(TEX) ikarus-users-guide ; \
|
||||||
|
fi
|
||||||
|
|
||||||
all: ikarus-users-guide.pdf
|
all: ikarus-users-guide.pdf
|
||||||
|
|
||||||
|
|
|
@ -338,11 +338,14 @@ uninstall-am: uninstall-dist_docDATA
|
||||||
|
|
||||||
|
|
||||||
ikarus-users-guide.pdf: ikarus-users-guide.tex ikarus-users-guide.bib
|
ikarus-users-guide.pdf: ikarus-users-guide.tex ikarus-users-guide.bib
|
||||||
$(TEX) ikarus-users-guide
|
if test -x "`which xelatex`" ; \
|
||||||
makeindex ikarus-users-guide
|
then \
|
||||||
bibtex ikarus-users-guide
|
$(TEX) ikarus-users-guide && \
|
||||||
$(TEX) ikarus-users-guide
|
makeindex ikarus-users-guide && \
|
||||||
$(TEX) ikarus-users-guide
|
bibtex ikarus-users-guide && \
|
||||||
|
$(TEX) ikarus-users-guide && \
|
||||||
|
$(TEX) ikarus-users-guide ; \
|
||||||
|
fi
|
||||||
|
|
||||||
all: ikarus-users-guide.pdf
|
all: ikarus-users-guide.pdf
|
||||||
|
|
||||||
|
|
Binary file not shown.
|
@ -1 +1 @@
|
||||||
1119
|
1120
|
||||||
|
|
Loading…
Reference in New Issue