diff -r eee194395fdc -r 10487d954a8f doc-src/System/Makefile
--- a/doc-src/System/Makefile	Mon Sep 15 19:43:10 2008 +0200
+++ b/doc-src/System/Makefile	Mon Sep 15 20:22:38 2008 +0200
@@ -12,9 +12,9 @@
 include ../Makefile.in
 
 NAME = system
-FILES = system.tex Thy/document/Basics.tex misc.tex		\
-	Thy/document/Presentation.tex symbols.tex ../iman.sty	\
-	../extra.sty ../ttbox.sty ../manual.bib
+FILES = system.tex Thy/document/Basics.tex Thy/document/Misc.tex \
+	Thy/document/Presentation.tex symbols.tex ../iman.sty	 \
+	../extra.sty ../ttbox.sty ../manual.bib			 \
 
 OUTPUT = syms.tex