1 files changed, 1 insertions, 1 deletions

diff --git a/README b/README
index a380d9bd..2e96dfae 100644
--- a/README
+++ b/README
@@ -167,7 +167,7 @@ l2_parse.ott    Grammar of Sail generated by parser, superset of source language
 l2.ott          Grammar of Sail source
 l2_typ.ott      Grammar of Internal structures used for type annotations
 l2_rules.ott    Rules for type system
-manual.tex      Source of manual
+type_system.tex Source of type system LaTeX document
 
 Relevant make commands:
 make          Builds pdfs for l2 and l2_parse, ml and lem files of grammars