doc-src/Makefile.in
changeset 6617 2d56911d7329
parent 6612 e1b7b76bc197
child 7042 94ef4859c6da
equal deleted inserted replaced
6616:eb87300379fe 6617:2d56911d7329
    34 	test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps .
    34 	test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps .
    35 
    35 
    36 isabelle_zf.eps:
    36 isabelle_zf.eps:
    37 	test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.eps .
    37 	test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.eps .
    38 
    38 
    39 isabelle.png:
    39 isabelle.pdf:
    40 	test -r isabelle.png || ln -s ../gfx/isabelle.png .
    40 	test -r isabelle.pdf || ln -s ../gfx/isabelle.pdf .
    41 
    41 
    42 isabelle_hol.png:
    42 isabelle_hol.pdf:
    43 	test -r isabelle_hol.png || ln -s ../gfx/isabelle_hol.png .
    43 	test -r isabelle_hol.pdf || ln -s ../gfx/isabelle_hol.pdf .
    44 
    44 
    45 isabelle_zf.png:
    45 isabelle_zf.pdf:
    46 	test -r isabelle_zf.png || ln -s ../gfx/isabelle_zf.png .
    46 	test -r isabelle_zf.pdf || ln -s ../gfx/isabelle_zf.pdf .