diff -r 1db42f739ee7 -r 930ac2bfa637 doc-src/System/Makefile
--- a/doc-src/System/Makefile	Mon Dec 04 17:30:40 2000 +0100
+++ b/doc-src/System/Makefile	Mon Dec 04 23:16:25 2000 +0100
@@ -12,12 +12,15 @@
 include ../Makefile.in
 
 NAME = system
-FILES = system.tex basics.tex misc.tex fonts.tex present.tex \
+FILES = system.tex basics.tex misc.tex fonts.tex present.tex symbols.tex \
 	../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
 
+syms.tex: showsymbols ../../Distribution/lib/texinputs/isabellesym.sty
+	@./showsymbols <../../Distribution/lib/texinputs/isabellesym.sty >syms.tex
+
 dvi: $(NAME).dvi
 
-$(NAME).dvi: $(FILES) isabelle.eps
+$(NAME).dvi: $(FILES) isabelle.eps syms.tex
 	$(LATEX) $(NAME)
 	$(BIBTEX) $(NAME)
 	$(LATEX) $(NAME)
@@ -27,7 +30,7 @@
 
 pdf: $(NAME).pdf
 
-$(NAME).pdf: $(FILES) isabelle.pdf
+$(NAME).pdf: $(FILES) isabelle.pdf syms.tex
 	$(PDFLATEX) $(NAME)
 	$(BIBTEX) $(NAME)
 	$(PDFLATEX) $(NAME)