--- a/src/Pure/Makefile Wed Jan 19 14:27:46 1994 +0100
+++ b/src/Pure/Makefile Wed Jan 19 14:28:35 1994 +0100
@@ -24,11 +24,10 @@
sequence.ML envir.ML pattern.ML unify.ML logic.ML thm.ML net.ML\
drule.ML tctical.ML tactic.ML goals.ML install_pp.ML
-SYNTAX_FILES = Syntax/ROOT.ML Syntax/ast.ML Syntax/xgram.ML\
- Syntax/extension.ML Syntax/lexicon.ML\
+SYNTAX_FILES = Syntax/ROOT.ML Syntax/ast.ML Syntax/lexicon.ML\
Syntax/parser.ML Syntax/type_ext.ML Syntax/sextension.ML\
Syntax/pretty.ML Syntax/printer.ML Syntax/syntax.ML\
- Syntax/earley0A.ML
+ Syntax/earley0A.ML Syntax/syn_ext.ML
THY_FILES = Thy/ROOT.ML Thy/scan.ML Thy/parse.ML Thy/syntax.ML Thy/read.ML