doc-src/Makefile.in
changeset 12677 73c070d5c031
parent 10604 9bb2e34df0cd
child 15646 b45393fb38c0
equal deleted inserted replaced
12676:99e7b2045d8f 12677:73c070d5c031
    52 isabelle_hol.pdf:
    52 isabelle_hol.pdf:
    53 	test -r isabelle_hol.pdf || ln -s ../gfx/isabelle_hol.pdf .
    53 	test -r isabelle_hol.pdf || ln -s ../gfx/isabelle_hol.pdf .
    54 
    54 
    55 isabelle_zf.pdf:
    55 isabelle_zf.pdf:
    56 	test -r isabelle_zf.pdf || ln -s ../gfx/isabelle_zf.pdf .
    56 	test -r isabelle_zf.pdf || ln -s ../gfx/isabelle_zf.pdf .
       
    57 
       
    58 typedef.ps:
       
    59 	test -r typedef.ps || ln -s ../gfx/typedef.ps .
       
    60 
       
    61 typedef.pdf:
       
    62 	test -r typedef.pdf || ln -s ../gfx/typedef.pdf .