doc-src/Makefile.in
changeset 33191 fe3c65d9c577
parent 28954 0811c7419c32
child 36926 90bb12cf8e36
equal deleted inserted replaced
33059:d1c9bf0f8ae8 33191:fe3c65d9c577
    43 	test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps .
    43 	test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps .
    44 
    44 
    45 isabelle_zf.eps:
    45 isabelle_zf.eps:
    46 	test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.eps .
    46 	test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.eps .
    47 
    47 
       
    48 isabelle_nitpick.eps:
       
    49 	test -r isabelle_nitpick.eps || ln -s ../gfx/isabelle_nitpick.eps .
       
    50 
    48 
    51 
    49 isabelle.pdf:
    52 isabelle.pdf:
    50 	test -r isabelle.pdf || ln -s ../gfx/isabelle.pdf .
    53 	test -r isabelle.pdf || ln -s ../gfx/isabelle.pdf .
    51 
    54 
    52 isabelle_isar.pdf:
    55 isabelle_isar.pdf:
    56 	test -r isabelle_hol.pdf || ln -s ../gfx/isabelle_hol.pdf .
    59 	test -r isabelle_hol.pdf || ln -s ../gfx/isabelle_hol.pdf .
    57 
    60 
    58 isabelle_zf.pdf:
    61 isabelle_zf.pdf:
    59 	test -r isabelle_zf.pdf || ln -s ../gfx/isabelle_zf.pdf .
    62 	test -r isabelle_zf.pdf || ln -s ../gfx/isabelle_zf.pdf .
    60 
    63 
       
    64 isabelle_nitpick.pdf:
       
    65 	test -r isabelle_nitpick.pdf || ln -s ../gfx/isabelle_nitpick.pdf .
       
    66 
    61 typedef.ps:
    67 typedef.ps:
    62 	test -r typedef.ps || ln -s ../gfx/typedef.ps .
    68 	test -r typedef.ps || ln -s ../gfx/typedef.ps .
    63 
    69 
    64 typedef.pdf:
    70 typedef.pdf:
    65 	test -r typedef.pdf || ln -s ../gfx/typedef.pdf .
    71 	test -r typedef.pdf || ln -s ../gfx/typedef.pdf .