/[svn]/Makefile
ViewVC logotype

Diff of /Makefile

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

revision 449 by abate, Tue Jul 10 17:34:53 2007 UTC revision 450 by abate, Tue Jul 10 17:35:49 2007 UTC
# Line 5  Line 5 
5  pull: tools/pull.$(EXTENSION)  pull: tools/pull.$(EXTENSION)
6          $(LINK) -o $@ $^          $(LINK) -o $@ $^
7    
8    PREPRO = $(SYNTAX) pr_o.cmo
9    
10  profile:  profile:
11          rm -Rf prepro          rm -Rf prepro
12          mkdir prepro          mkdir prepro
Legend:
Removed from v.449  
changed lines
  Added in v.450
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5