doc-src/IsarRef/Makefile
changeset 42511 bf89455ccf9d
parent 30168 9a20be5be90b
child 42618 a38e0f15d765
     1.1 --- a/doc-src/IsarRef/Makefile	Sun May 01 00:01:59 2011 +0200
     1.2 +++ b/doc-src/IsarRef/Makefile	Sun May 01 16:36:34 2011 +0200
     1.3 @@ -17,13 +17,13 @@
     1.4    Thy/document/Introduction.tex Thy/document/Document_Preparation.tex	\
     1.5    Thy/document/Misc.tex Thy/document/Outer_Syntax.tex			\
     1.6    Thy/document/Symbols.tex ../isar.sty ../rail.sty ../railsetup.sty	\
     1.7 -  ../proof.sty ../iman.sty ../extra.sty ../ttbox.sty ../isabelle.sty	\
     1.8 -  ../isabellesym.sty ../pdfsetup.sty ../manual.bib
     1.9 +  ../proof.sty ../iman.sty ../extra.sty ../ttbox.sty ../../lib/texinputs/isabelle.sty	\
    1.10 +  ../../lib/texinputs/isabellesym.sty ../pdfsetup.sty ../manual.bib
    1.11  
    1.12  OUTPUT = syms.tex
    1.13  
    1.14 -syms.tex: showsymbols ../isabellesym.sty
    1.15 -	@./showsymbols <../isabellesym.sty >syms.tex
    1.16 +syms.tex: showsymbols ../../lib/texinputs/isabellesym.sty
    1.17 +	@./showsymbols <../../lib/texinputs/isabellesym.sty >syms.tex
    1.18  
    1.19  
    1.20  dvi: $(NAME).dvi