--- a/doc-src/Ref/Makefile	Sun Feb 05 21:00:38 2012 +0100
+++ b/doc-src/Ref/Makefile	Tue Feb 07 18:51:22 2012 +0100
@@ -9,7 +9,7 @@
 include ../Makefile.in
 
 NAME = ref
-FILES = ref.tex tactic.tex thm.tex defining.tex syntax.tex		\
+FILES = ref.tex tactic.tex thm.tex syntax.tex		\
 	substitution.tex simplifier.tex classical.tex ../proof.sty	\
 	../iman.sty ../extra.sty ../ttbox.sty ../manual.bib