diff -r 623c9e8668aa -r abb280dd3431 Admin/website/installation_macos_emacs.html
--- a/Admin/website/installation_macos_emacs.html	Wed Sep 21 14:46:10 2005 +0200
+++ b/Admin/website/installation_macos_emacs.html	Wed Sep 21 16:37:37 2005 +0200
@@ -61,11 +61,11 @@
         </ul>
 
         <p>You may want to install this drag-and-drop <a href=
-        "//dist/misc/isabelle_droplet.dmg">Isabelle launcher</a>. It is a simple hack that
+        "//misc/isabelle_droplet.dmg">Isabelle launcher</a>. It is a simple hack that
         invokes XEmacs on any files dropped on it.</p>
 
         <p>Here is a <a href=
-        "//dist/img/screenshot_isabelle_macos.gif">screenshot</a> showing Proof General running
+        "//img/screenshot_isabelle_macos.gif">screenshot</a> showing Proof General running
         in GNU Emacs.</p>
 
     </div>