--- a/Admin/Mercurial/filemap	Wed Sep 03 17:50:37 2008 +0200
+++ b/Admin/Mercurial/filemap	Wed Sep 03 19:52:45 2008 +0200
@@ -1,5 +1,7 @@
 rename Doc doc-src
 exclude Distribution/bin/Isabelle
+exclude Admin/page/main-content/PG-preview.mov
+exclude Admin/website/media/pg_preview.mov
 rename Distribution .
 rename CCL src/CCL
 rename CTT src/CTT