# HG changeset patch
# User wenzelm
# Date 1216304225 -7200
# Node ID b9ec32fb5f6399fe07f086bb4551b486758ddd8a
# Parent  5580fcca2b5d4dbbaa351660e626f19a04a92d59
use ../isabellesym.sty, which is always available;

diff -r 5580fcca2b5d -r b9ec32fb5f63 doc-src/System/Makefile
--- 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