diff -Naur --exclude='*~' --exclude=CVS mizar-mode/doc/MizarMode.texi mizar-mode.fink/doc/MizarMode.texi
--- mizar-mode/doc/MizarMode.texi	2005-10-02 22:27:45.000000000 -0700
+++ mizar-mode.fink/doc/MizarMode.texi	2007-01-15 17:40:41.000000000 -0800
@@ -18,14 +18,10 @@
 @set dosversion 21.2
 @set last-update Sun Dec 12 2004
 
-@ifinfo
-@format
-START-INFO-DIR-ENTRY 
+@dircategory Emacs
+@direntry
 * Mizar Mode: (MizarMode).           Emacs Authoring Environment for Mizar
-END-INFO-DIR-ENTRY
-@end format
-@end ifinfo
-
+@end direntry
 
 @finalout
 @titlepage
diff -Naur --exclude='*~' --exclude=CVS mizar-mode/fink/emacsen-install mizar-mode.fink/fink/emacsen-install
--- mizar-mode/fink/emacsen-install	1969-12-31 16:00:00.000000000 -0800
+++ mizar-mode.fink/fink/emacsen-install	2007-01-15 16:41:45.000000000 -0800
@@ -0,0 +1,34 @@
+#!/bin/bash -e
+#
+# install file for the fink mizar-mode emacs package.
+
+set -o posix
+
+FLAVOR=${1}
+
+echo >&2 "install/mizar-mode: Handling install of emacsen flavor ${FLAVOR}"
+
+if [ ${FLAVOR} == emacs20 ]
+then
+    echo "install/mizar-mode: Skipping unsupported flavor ${FLAVOR}"
+    exit 0
+fi
+
+if [ ${FLAVOR} == emacs ]
+then
+    echo "install/mizar-mode: Done."
+    exit 0
+fi
+
+echo >&2 -n "install/mizar-mode: Byte-compiling for ${FLAVOR}..."
+mkdir -p @PREFIX@/share/${FLAVOR}/site-lisp/mizar;
+ln -fs @PREFIX@/share/emacs/site-lisp/mizar/mizar.el @PREFIX@/share/${FLAVOR}/site-lisp/mizar;
+
+cd @PREFIX@/share/${FLAVOR}/site-lisp/mizar;
+
+(${FLAVOR} --no-init-file --no-site-file --batch -f batch-byte-compile mizar.el 2>&1) | gzip -9qf > @PREFIX@/share/doc/mizar-mode/CompilationLog-${FLAVOR}.gz
+
+echo >&2 "done."
+echo >&2 "install/mizar-mode: Compilation log saved in @PREFIX@/share/doc/mizar-mode/CompilationLog-${FLAVOR}.gz."
+
+exit 0
diff -Naur --exclude='*~' --exclude=CVS mizar-mode/fink/emacsen-remove mizar-mode.fink/fink/emacsen-remove
--- mizar-mode/fink/emacsen-remove	1969-12-31 16:00:00.000000000 -0800
+++ mizar-mode.fink/fink/emacsen-remove	2007-01-15 16:47:44.000000000 -0800
@@ -0,0 +1,21 @@
+#!/bin/bash -e
+#
+# This is the Fink version of the mizar-mode emacs package.
+set -o posix
+
+FLAVOR=${1}
+
+echo "remove/mizar-mode: Handling removal for emacsen flavor ${FLAVOR}"
+
+if [ ${FLAVOR} == emacs20 ]
+then
+    echo "remove/mizar-mode: Skipping unsupported flavor ${FLAVOR}"
+    exit 0
+fi
+
+echo >&2 -n "remove/mizar-mode: Purging compilation log and byte-compiled files for ${FLAVOR}..."
+rm -f @PREFIX@/share/doc/mizar-mode/CompilationLog-${FLAVOR}.gz
+rm -Rf @PREFIX@/share/${FLAVOR}/site-lisp/mizar
+echo >&2 "done."
+    
+exit 0