src/Pure/Makefile
changeset 407 8039ac1065f7
parent 241 a8ff0932d78a
child 408 93e2b7d5bcc4
     1.1 --- a/src/Pure/Makefile	Tue May 31 13:17:41 1994 +0200
     1.2 +++ b/src/Pure/Makefile	Wed Jun 01 08:28:12 1994 +0200
     1.3 @@ -29,7 +29,7 @@
     1.4  	Syntax/pretty.ML	Syntax/printer.ML	Syntax/syntax.ML\
     1.5  	Syntax/earley0A.ML	Syntax/syn_ext.ML
     1.6  
     1.7 -THY_FILES = Thy/ROOT.ML Thy/scan.ML Thy/parse.ML Thy/syntax.ML Thy/read.ML
     1.8 +THY_FILES = Thy/ROOT.ML Thy/scan.ML Thy/parse.ML Thy/thy_scan.ML Thy/thy_parse.ML Thy/thy_read.ML
     1.9  
    1.10  #Uses cp rather than make_database because Poly/ML allows only 3 levels
    1.11  $(BIN)/Pure:   $(FILES)  $(SYNTAX_FILES)  $(THY_FILES)  $(ML_DBASE)