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

Diff of /metaprl/doc/Makefile

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

revision 3581 by nogin, Fri Nov 10 20:23:06 2000 UTC revision 3582 by nogin, Wed Apr 24 23:51:09 2002 UTC
# Line 94  Line 94 
94    
95  DOCFILES = $(addsuffix .ps, $(GENERATED-FILES)) $(addsuffix .pdf, $(GENERATED-FILES))  DOCFILES = $(addsuffix .ps, $(GENERATED-FILES)) $(addsuffix .pdf, $(GENERATED-FILES))
96    
97  all: $(DOCFILES)  .PHONY: all opt latex clean check
98    
99    all: $(DOCFILES) latex
100  opt: all  opt: all
101    
102  introduction.ps: $(W-FILES)  introduction.ps: $(W-FILES)
# Line 127  Line 129 
129  developer-guide.pdf: $(D-FILES)  developer-guide.pdf: $(D-FILES)
130          $(GEN-PDF) $(D-FILES) -f $@          $(GEN-PDF) $(D-FILES) -f $@
131    
132    latex::
133            + @if [ -f ../editor/ml/mp.opt ]; then $(MAKE) -C .. opt; else $(MAKE) -C .. all; fi
134            + @ $(MAKE) -C latex/theories
135    
136  clean::  clean::
137          $(RM) $(DOCFILES) *.log *.dvi *.aux *~ ps/theories/*.ps ps/theories/*.pdf          $(RM) $(DOCFILES) *.log *.dvi *.aux *~ ps/theories/*.ps ps/theories/*.pdf
138          + @ $(MAKE) -C latex/theories clean          + @ $(MAKE) -C latex/theories clean

Legend:
Removed from v.3581  
changed lines
  Added in v.3582

  ViewVC Help
Powered by ViewVC 1.1.26