mirror of
https://github.com/sphinx-doc/sphinx.git
synced 2025-02-25 18:55:22 -06:00
Merge pull request #2216 from xuhdev/texinputs-Makefile
This commit is contained in:
commit
02e317d9bf
@ -8,6 +8,8 @@ ALLDVI = $(addsuffix .dvi,$(ALLDOCS))
|
|||||||
ARCHIVEPRREFIX =
|
ARCHIVEPRREFIX =
|
||||||
# Additional LaTeX options
|
# Additional LaTeX options
|
||||||
LATEXOPTS =
|
LATEXOPTS =
|
||||||
|
# format: pdf or dvi
|
||||||
|
FMT = pdf
|
||||||
|
|
||||||
LATEX = latex
|
LATEX = latex
|
||||||
PDFLATEX = pdflatex
|
PDFLATEX = pdflatex
|
||||||
@ -41,9 +43,15 @@ tar: all-$(FMT)
|
|||||||
tar cf $(ARCHIVEPREFIX)docs-$(FMT).tar $(ARCHIVEPREFIX)docs-$(FMT)
|
tar cf $(ARCHIVEPREFIX)docs-$(FMT).tar $(ARCHIVEPREFIX)docs-$(FMT)
|
||||||
rm -r $(ARCHIVEPREFIX)docs-$(FMT)
|
rm -r $(ARCHIVEPREFIX)docs-$(FMT)
|
||||||
|
|
||||||
|
gz: tar
|
||||||
|
gzip -9 < $(ARCHIVEPREFIX)docs-$(FMT).tar > $(ARCHIVEPREFIX)docs-$(FMT).tar.gz
|
||||||
|
|
||||||
bz2: tar
|
bz2: tar
|
||||||
bzip2 -9 -k $(ARCHIVEPREFIX)docs-$(FMT).tar
|
bzip2 -9 -k $(ARCHIVEPREFIX)docs-$(FMT).tar
|
||||||
|
|
||||||
|
xz: tar
|
||||||
|
xz -9 -k $(ARCHIVEPREFIX)docs-$(FMT).tar
|
||||||
|
|
||||||
# The number of LaTeX runs is quite conservative, but I don't expect it
|
# The number of LaTeX runs is quite conservative, but I don't expect it
|
||||||
# to get run often, so the little extra time won't hurt.
|
# to get run often, so the little extra time won't hurt.
|
||||||
%.dvi: %.tex
|
%.dvi: %.tex
|
||||||
@ -63,8 +71,8 @@ bz2: tar
|
|||||||
$(PDFLATEX) $(LATEXOPTS) '$<'
|
$(PDFLATEX) $(LATEXOPTS) '$<'
|
||||||
|
|
||||||
clean:
|
clean:
|
||||||
rm -f *.dvi *.log *.ind *.aux *.toc *.syn *.idx *.out *.ilg *.pla
|
rm -f *.log *.ind *.aux *.toc *.syn *.idx *.out *.ilg *.pla *.ps *.tar *.tar.gz *.tar.bz2 *.tar.xz $(ALLPDF) $(ALLDVI)
|
||||||
|
|
||||||
.PHONY: all all-pdf all-dvi all-ps clean
|
.PHONY: all all-pdf all-dvi all-ps clean zip tar gz bz2 xz
|
||||||
.PHONY: all-pdf-ja
|
.PHONY: all-pdf-ja
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user