From 09fca718c6e850a3a94db399fd1744dc537bbe41 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Wed, 4 Apr 2018 15:14:39 +0100
Subject: Cleanup repository by removing old and generated files

Rename l2.ott to sail.ott
---
 src/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/Makefile')

diff --git a/src/Makefile b/src/Makefile
index 9446a693..2b31d35e 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -71,8 +71,8 @@ all: sail lib doc
 
 full: sail lib power doc test
 
-ast.lem: ../language/l2.ott
-	ott -sort false -generate_aux_rules true -o ast.lem -picky_multiple_parses true ../language/l2.ott
+ast.lem: ../language/sail.ott
+	ott -sort false -generate_aux_rules true -o ast.lem -picky_multiple_parses true ../language/sail.ott
 
 bytecode.lem: ../language/bytecode.ott ast.lem
 	ott -sort false -generate_aux_rules true -o bytecode.lem -picky_multiple_parses true ../language/bytecode.ott
-- 
cgit v1.2.3