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