/usr/share/dune-common/am/latex is in libdune-common-dev 2.2.1-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 | # -*- makefile -*-
# $Id: latex 7077 2013-01-19 10:06:29Z mblatt $
# Rules for latex stuff
# rerun TEX if log-file suggests that
.tex.dvi:
export TEXINPUTS=.:$(abs_builddir):${TEXINPUTS}:; \
set -e; builddir=$$PWD; \
pushd $(srcdir); $(TEX) -output-directory=$$builddir </dev/null $*; popd; \
while grep 'Rerun to get' $*.log > /dev/null ; do \
pushd $(srcdir); $(TEX) -output-directory=$$builddir </dev/null $*; popd; \
done; \
if grep '^\\bibdata{' *.aux > /dev/null \
&& grep '^\\citation{' *.aux > /dev/null; \
then \
BSTINPUTS=.:$(srcdir):${BSTINPUTS}: BIBINPUTS=.:$(srcdir):${BIBINPUTS}: $(BIBTEX) $* || exit $$?; \
pushd $(srcdir); $(TEX) -output-directory=$$builddir </dev/null $*; popd; \
while grep 'Rerun to get' $*.log > /dev/null ; do \
pushd $(srcdir); $(TEX) -output-directory=$$builddir </dev/null $*; popd; \
done ; \
fi
.dvi.pdf:
export TEXINPUTS=.:$(abs_builddir):${TEXINPUTS}:; \
pushd $(srcdir); \
$(DVIPDF) $(abs_builddir)/$*.dvi $(abs_builddir)/$*.pdf; \
popd
.dvi.ps:
export TEXINPUTS=.:$(abs_builddir):${TEXINPUTS}:; \
pushd $(srcdir); \
$(DVIPS) $(abs_builddir)/$*.dvi -o $(abs_builddir)/$*.ps; \
popd
TEXCLEANFILES = *.aux *.bbl *.blg *.log *.out *.toc *.dvi
clean-local: latex-clean
doc-clean-local: latex-doc-clean
latex-clean:
-test -z "$(TEXCLEANFILES)" || rm -f $(TEXCLEANFILES)
-rm -rf auto
latex-doc-clean: latex-clean
-rm -f *.pdf *.ps
|