diff -r c6b17889237a -r d5db6dfcb34a doc-src/System/Makefile
--- a/doc-src/System/Makefile	Tue Nov 18 18:22:49 2008 +0100
+++ b/doc-src/System/Makefile	Tue Nov 18 18:25:10 2008 +0100
@@ -13,16 +13,12 @@
 
 NAME = system
 FILES = system.tex Thy/document/Basics.tex Thy/document/Misc.tex	\
-	Thy/document/Presentation.tex Thy/document/Symbols.tex		\
-	../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
-OUTPUT = syms.tex
-
-syms.tex: showsymbols ../isabellesym.sty
-	@./showsymbols <../isabellesym.sty >syms.tex
+	Thy/document/Presentation.tex ../iman.sty ../extra.sty		\
+	../ttbox.sty ../manual.bib
 
 dvi: $(NAME).dvi
 
-$(NAME).dvi: $(FILES) isabelle.eps syms.tex
+$(NAME).dvi: $(FILES) isabelle.eps
 	$(LATEX) $(NAME)
 	$(BIBTEX) $(NAME)
 	$(LATEX) $(NAME)
@@ -32,7 +28,7 @@
 
 pdf: $(NAME).pdf
 
-$(NAME).pdf: $(FILES) isabelle.pdf syms.tex
+$(NAME).pdf: $(FILES) isabelle.pdf
 	$(PDFLATEX) $(NAME)
 	$(BIBTEX) $(NAME)
 	$(PDFLATEX) $(NAME)