diff -r 287182c2f23a -r e68c3861b8db doc-src/Ref/Makefile
--- a/doc-src/Ref/Makefile	Mon Jun 06 19:08:46 2011 +0200
+++ b/doc-src/Ref/Makefile	Mon Jun 06 19:13:48 2011 +0200
@@ -9,10 +9,9 @@
 include ../Makefile.in
 
 NAME = ref
-FILES = ref.tex introduction.tex tactic.tex tctical.tex thm.tex	\
-	defining.tex syntax.tex substitution.tex	\
-	simplifier.tex classical.tex ../proof.sty ../iman.sty	\
-	../extra.sty ../ttbox.sty ../manual.bib
+FILES = ref.tex tactic.tex tctical.tex thm.tex defining.tex syntax.tex	\
+	substitution.tex simplifier.tex classical.tex ../proof.sty	\
+	../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
 
 dvi: $(NAME).dvi