doc-src/System/Makefile

--- a/doc-src/System/Makefile	Mon Sep 15 16:40:53 2008 +0200
+++ b/doc-src/System/Makefile	Mon Sep 15 16:42:00 2008 +0200
@@ -12,7 +12,7 @@
 include ../Makefile.in
 
 NAME = system
-FILES = system.tex basics.tex misc.tex present.tex symbols.tex \
+FILES = system.tex Thy/document/Basics.tex misc.tex present.tex symbols.tex \
 	../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
 
 OUTPUT = syms.tex