--- 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