Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
use Isabelle sty files from Doc/;
authorwenzelm
Thu, 15 May 2008 21:08:25 +0200
changeset 26916 3331d559feaf
parent 26915 f086011617b0
child 26917 1e5b8d0dd6c9
use Isabelle sty files from Doc/;
doc-src/Locales/Makefile file | annotate | diff | comparison | revisions 
--- a/doc-src/Locales/Makefile	Thu May 15 20:20:30 2008 +0200
+++ b/doc-src/Locales/Makefile	Thu May 15 21:08:25 2008 +0200
@@ -18,8 +18,7 @@
 
 FILES = Locales/document/root.tex Locales/document/root.bib \
   Locales/document/session.tex Locales/document/Locales.tex \
-  Locales/document/isabelle.sty Locales/document/isabellesym.sty \
-  Locales/document/pdfsetup.sty 
+  ../isabelle.sty ../isabellesym.sty ../pdfsetup.sty 
 
 dvi: $(NAME).dvi
isabelle