/[mojave]/metaprl/doc/latex/theories/Makefile
ViewVC logotype

Diff of /metaprl/doc/latex/theories/Makefile

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3590 by nogin, Tue May 15 07:10:57 2001 UTC revision 3591 by nogin, Sun Apr 28 19:51:58 2002 UTC
# Line 27  Line 27 
27          base\          base\
28          fol\          fol\
29          itt\          itt\
30          czf          czf\
31            mc
32    
33  TEXFILES = $(addsuffix /theory.tex, $(TEXTHEORIES))\  TEXFILES = $(addsuffix /theory.tex, $(TEXTHEORIES))\
34          $(addsuffix /theory-body.tex, $(TEXTHEORIES))          $(addsuffix /theory-body.tex, $(TEXTHEORIES))\
35            all-bodies.tex
36    
37  doc:  doc:
38          + @ $(MAKE) -C $(ROOT)/editor/ml TEXTHEORIES="$(TEXTHEORIES)" tex          + @ $(MAKE) -C $(ROOT)/editor/ml TEXTHEORIES="$(TEXTHEORIES)" tex
39          + @ $(MAKE) $(ROOT)/doc/ps/theories/theories.pdf          + @ $(MAKE) $(ROOT)/doc/ps/theories/theories.pdf
40    
41    ALLBODIES=$(addprefix \input{, $(addsuffix /theory-body.tex}, $(TEXTHEORIES)))
42    
43    all-bodies.tex: Makefile
44            echo '$(ALLBODIES)' > $@
45    
46  $(NAME).aux: $(INPUTS) $(TEXFILES)  $(NAME).aux: $(INPUTS) $(TEXFILES)
47          TEXINPUTS=$(TEXINPUTS) pdflatex $(NAME)          TEXINPUTS=$(TEXINPUTS) pdflatex $(NAME)
48          if grep -q \\\citation $(NAME).aux; then \          if grep -q \\\citation $(NAME).aux; then \
# Line 59  Line 66 
66    
67  clean::  clean::
68          $(RM) *.log *.aux *.idx *.ilg *.ind *.pdf *.ps *.dvi *.blg *.bbl *.out          $(RM) *.log *.aux *.idx *.ilg *.ind *.pdf *.ps *.dvi *.blg *.bbl *.out
69          $(RM) */theory-body.tex */theory.tex          $(RM) */theory-body.tex */theory.tex all-bodies.tex
70    
71  # Real makefile  # Real makefile
72  include $(ROOT)/mk/rules  include $(ROOT)/mk/rules

Legend:
Removed from v.3590  
changed lines
  Added in v.3591

  ViewVC Help
Powered by ViewVC 1.1.26