diff -r 52e4de17734e -r f9d3c92eae4d doc-src/System/Makefile
--- a/doc-src/System/Makefile	Tue Dec 11 15:04:17 2001 +0100
+++ b/doc-src/System/Makefile	Tue Dec 11 15:36:28 2001 +0100
@@ -12,7 +12,7 @@
 include ../Makefile.in
 
 NAME = system
-FILES = system.tex basics.tex misc.tex fonts.tex present.tex symbols.tex \
+FILES = system.tex basics.tex misc.tex present.tex symbols.tex \
 	../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
 
 OUTPUT = syms.tex