2023-02-22 08:02:39 -06:00
|
|
|
LATEX_CMD=pdflatex
|
|
|
|
|
2018-10-18 11:10:01 -05:00
|
|
|
all: refman.pdf
|
|
|
|
|
|
|
|
pdf: refman.pdf
|
|
|
|
|
|
|
|
refman.pdf: clean refman.tex
|
2023-02-22 08:02:39 -06:00
|
|
|
$(LATEX_CMD) refman
|
2018-10-18 11:10:01 -05:00
|
|
|
makeindex refman.idx
|
2023-02-22 08:02:39 -06:00
|
|
|
$(LATEX_CMD) refman
|
2018-10-18 11:10:01 -05:00
|
|
|
latex_count=8 ; \
|
|
|
|
while egrep -s 'Rerun (LaTeX|to get cross-references right)' refman.log && [ $$latex_count -gt 0 ] ;\
|
|
|
|
do \
|
|
|
|
echo "Rerunning latex...." ;\
|
2023-02-22 08:02:39 -06:00
|
|
|
$(LATEX_CMD) refman ;\
|
2018-10-18 11:10:01 -05:00
|
|
|
latex_count=`expr $$latex_count - 1` ;\
|
|
|
|
done
|
|
|
|
makeindex refman.idx
|
2023-02-22 08:02:39 -06:00
|
|
|
$(LATEX_CMD) refman
|
2018-10-18 11:10:01 -05:00
|
|
|
|
|
|
|
|
|
|
|
clean:
|
|
|
|
rm -f *.ps *.dvi *.aux *.toc *.idx *.ind *.ilg *.log *.out *.brf *.blg *.bbl refman.pdf
|