| changeset 27631 | b9ec32fb5f63 |
| parent 12464 | f9d3c92eae4d |
| child 28215 | a1cfc43ac47d |
--- a/doc-src/System/Makefile Thu Jul 17 15:35:15 2008 +0200 +++ b/doc-src/System/Makefile Thu Jul 17 16:17:05 2008 +0200 @@ -17,8 +17,8 @@ OUTPUT = syms.tex -syms.tex: showsymbols ../../Distribution/lib/texinputs/isabellesym.sty - @./showsymbols <../../Distribution/lib/texinputs/isabellesym.sty >syms.tex +syms.tex: showsymbols ../isabellesym.sty + @./showsymbols <../isabellesym.sty >syms.tex dvi: $(NAME).dvi