diff -Naur --exclude='*~' 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	2006-09-20 15:27:23.000000000 -0700
@@ -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-mode;
+ln -s @PREFIX@/share/emacs/site-lisp/mizar-mode/mizar.el @PREFIX@/share/${FLAVOR}/site-lisp/mizar-mode;
+
+cd @PREFIX@/share/${FLAVOR}/site-lisp/mizar-mode;
+
+(${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='*~' 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	2006-09-20 14:37:01.000000000 -0700
@@ -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-mode
+echo >&2 "done."
+    
+exit 0