1.1 --- a/doc-src/System/Makefile	Tue Nov 18 18:22:49 2008 +0100
     1.2 +++ b/doc-src/System/Makefile	Tue Nov 18 18:25:10 2008 +0100
     1.3 @@ -13,16 +13,12 @@
     1.4  
     1.5  NAME = system
     1.6  FILES = system.tex Thy/document/Basics.tex Thy/document/Misc.tex	\
     1.7 -	Thy/document/Presentation.tex Thy/document/Symbols.tex		\
     1.8 -	../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
     1.9 -OUTPUT = syms.tex
    1.10 -
    1.11 -syms.tex: showsymbols ../isabellesym.sty
    1.12 -	@./showsymbols <../isabellesym.sty >syms.tex
    1.13 +	Thy/document/Presentation.tex ../iman.sty ../extra.sty		\
    1.14 +	../ttbox.sty ../manual.bib
    1.15  
    1.16  dvi: $(NAME).dvi
    1.17  
    1.18 -$(NAME).dvi: $(FILES) isabelle.eps syms.tex
    1.19 +$(NAME).dvi: $(FILES) isabelle.eps
    1.20  	$(LATEX) $(NAME)
    1.21  	$(BIBTEX) $(NAME)
    1.22  	$(LATEX) $(NAME)
    1.23 @@ -32,7 +28,7 @@
    1.24  
    1.25  pdf: $(NAME).pdf
    1.26  
    1.27 -$(NAME).pdf: $(FILES) isabelle.pdf syms.tex
    1.28 +$(NAME).pdf: $(FILES) isabelle.pdf
    1.29  	$(PDFLATEX) $(NAME)
    1.30  	$(BIBTEX) $(NAME)
    1.31  	$(PDFLATEX) $(NAME)