1.1 --- a/doc-src/IsarRef/Makefile	Tue Nov 18 18:22:49 2008 +0100
     1.2 +++ b/doc-src/IsarRef/Makefile	Tue Nov 18 18:25:10 2008 +0100
     1.3 @@ -19,14 +19,20 @@
     1.4    Thy/document/Quick_Reference.tex Thy/document/Spec.tex		\
     1.5    Thy/document/ZF_Specific.tex Thy/document/Inner_Syntax.tex		\
     1.6    Thy/document/Introduction.tex Thy/document/Document_Preparation.tex	\
     1.7 -  Thy/document/Misc.tex Thy/document/Outer_Syntax.tex ../isar.sty	\
     1.8 -  ../rail.sty ../railsetup.sty ../proof.sty ../iman.sty ../extra.sty	\
     1.9 -  ../ttbox.sty ../isabelle.sty ../isabellesym.sty ../pdfsetup.sty	\
    1.10 -  ../manual.bib
    1.11 +  Thy/document/Misc.tex Thy/document/Outer_Syntax.tex			\
    1.12 +  Thy/document/Symbols.tex ../isar.sty ../rail.sty ../railsetup.sty	\
    1.13 +  ../proof.sty ../iman.sty ../extra.sty ../ttbox.sty ../isabelle.sty	\
    1.14 +  ../isabellesym.sty ../pdfsetup.sty ../manual.bib
    1.15 +
    1.16 +OUTPUT = syms.tex
    1.17 +
    1.18 +syms.tex: showsymbols ../isabellesym.sty
    1.19 +	@./showsymbols <../isabellesym.sty >syms.tex
    1.20 +
    1.21  
    1.22  dvi: $(NAME).dvi
    1.23  
    1.24 -$(NAME).dvi: $(FILES) isabelle_isar.eps
    1.25 +$(NAME).dvi: $(FILES) isabelle_isar.eps syms.tex
    1.26  	$(LATEX) $(NAME)
    1.27  	$(RAIL) $(NAME)
    1.28  	$(BIBTEX) $(NAME)
    1.29 @@ -37,7 +43,7 @@
    1.30  
    1.31  pdf: $(NAME).pdf
    1.32  
    1.33 -$(NAME).pdf: $(FILES) isabelle_isar.pdf
    1.34 +$(NAME).pdf: $(FILES) isabelle_isar.pdf syms.tex
    1.35  	$(PDFLATEX) $(NAME)
    1.36  	$(RAIL) $(NAME)
    1.37  	$(BIBTEX) $(NAME)