/[mojave]/metaprl/Makefile
ViewVC logotype

Diff of /metaprl/Makefile

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

revision 3581 by nogin, Mon Nov 19 20:39:56 2001 UTC revision 3582 by nogin, Wed Apr 24 23:51:09 2002 UTC
# Line 33  Line 33 
33  .PHONY: all opt  .PHONY: all opt
34  .PHONY: profile_all profile_clean profile_byte filter profile profile_opt profile_mem profile_mem_opt  .PHONY: profile_all profile_clean profile_byte filter profile profile_opt profile_mem profile_mem_opt
35  .PHONY: install depend clean check_config  .PHONY: install depend clean check_config
36  .PHONY: documentation docs doc  .PHONY: documentation docs doc latex theories.pdf all-theories.pdf
37    
38  all: check_config  all: check_config
39          +@for i in $(DIRS); do\          +@for i in $(DIRS); do\
# Line 147  Line 147 
147    
148  doc: docs  doc: docs
149  documentation: docs  documentation: docs
150    
151    latex::
152            +@$(MAKE) -C doc latex
153    
154    theories.pdf: latex
155    all-theories.pdf: latex

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

  ViewVC Help
Powered by ViewVC 1.1.26