Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/lib/Tools/makedist
changeset 66242 a912f4a701bf
parent 64404 d75397e0aad5
child 67866 11e4060bcdca 
--- a/Admin/lib/Tools/makedist	Sat Jul 01 16:22:47 2017 +0200
+++ b/Admin/lib/Tools/makedist	Sat Jul 01 16:26:15 2017 +0200
@@ -238,7 +238,7 @@
 mv "${DISTNAME}-old/doc/"*.pdf \
   "${DISTNAME}-old/doc/"*.html \
   "${DISTNAME}-old/doc/"*.css \
-  "${DISTNAME}-old/doc/"*.ttf \
+  "${DISTNAME}-old/doc/fonts" \
   "${DISTNAME}-old/doc/Contents" "$DISTNAME/doc"
 
 rm -f Isabelle && ln -sf "$DISTNAME" Isabelle
isabelle