matita/components/binaries/matex/test/Makefile

   1 LATEX  = latex
   2 DVIPS  = dvips
   3 BIBTEX = bibtex
   4 PSPDF  = ps2pdf -dEmbedAllFonts=true -dPDFSETTINGS=/prepress
   5 UNLOG  = ./unlog.pl
   6
   7 MAIN = test
   8
   9 SOURCES = $(shell cat Make) $(shell cat Make.objs)
  10
  11 all: $(MAIN).dvi
  12
  13 ps: $(MAIN).ps
  14
  15 pdf: $(MAIN).pdf
  16
  17 tar: $(MAIN).tar
  18
  19 again:
  20         $(MAKE) --no-print-directory -B
  21
  22 clean:
  23         $(RM) *.log *.dvi *.aux *.spl *.ps *.blg *.pdf *.tar *~
  24
  25 bibtex: $(MAIN).log
  26         $(BIBTEX) $(MAIN)
  27
  28 $(MAIN).dvi $(MAIN).log $(MAIN).aux: $(MAIN).tex $(SOURCES)
  29         $(LATEX) $<
  30
  31 $(MAIN).ps: $(MAIN).dvi
  32         $(DVIPS) $<
  33
  34 $(MAIN).pdf: $(MAIN).ps
  35         $(PSPDF) $<
  36
  37 $(MAIN).tar: $(MAIN).log
  38         $(UNLOG) $< $@
  39
  40 objs.tex:
  41         @sed "s/\(.*\).tex/\\\\input{\1}/" Make.objs > $@