1.1 --- a/doc-src/System/Makefile	Tue Dec 11 15:04:17 2001 +0100
     1.2 +++ b/doc-src/System/Makefile	Tue Dec 11 15:36:28 2001 +0100
     1.3 @@ -12,7 +12,7 @@
     1.4  include ../Makefile.in
     1.5  
     1.6  NAME = system
     1.7 -FILES = system.tex basics.tex misc.tex fonts.tex present.tex symbols.tex \
     1.8 +FILES = system.tex basics.tex misc.tex present.tex symbols.tex \
     1.9  	../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
    1.10  
    1.11  OUTPUT = syms.tex