[cvs] experimental/jessealama/finkinfo mizar-x86_64.info, 1.4, 1.5 mizar.patch, 1.2, 1.3

[Jesse A. <jes...@us...>]

Update of /cvsroot/fink/experimental/jessealama/finkinfo
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv14997

Modified Files:
	mizar-x86_64.info mizar.patch 
Log Message:
Take care of a silly packaging bug in mizar-mode.

Thanks to JF Mertens for the report.


Index: mizar-x86_64.info
===================================================================
RCS file: /cvsroot/fink/experimental/jessealama/finkinfo/mizar-x86_64.info,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -d -r1.4 -r1.5
--- mizar-x86_64.info	30 Jan 2010 20:34:11 -0000	1.4
+++ mizar-x86_64.info	20 Apr 2010 14:51:26 -0000	1.5
@@ -2,8 +2,8 @@
 Depends: mizar-bin, mizar-mml, mizar-doc
 Architecture: x86_64
 Epoch: 1
-Version: 7.11.05-4.133.1080
-Revision: 1
+Version: 7.11.05-4.137.1092
+Revision: 2
 Description: Build and check first-order formal proofs
 Recommends: mizar-semantic-mml, mizar-gab, mizar-mode, mizar-gab-html
 DescDetail: <<
@@ -27,15 +27,15 @@
 << 
 Maintainer: Jesse Alama <jes...@gm...>
 Homepage: http://www.mizar.org/
-Source: ftp://mizar.uwb.edu.pl/pub/system/i386-darwin/%n-7.11.05_4.133.1080-i386-darwin.tar
-Source-MD5: 7a4d6c7864f16fb5c2ff9f7502ab57ec
+Source: ftp://mizar.uwb.edu.pl/pub/system/i386-darwin/%n-7.11.05_4.137.1092-i386-darwin.tar
+Source-MD5: 612b151d728200a7bd0872ad176d3035
 Source2: http://ktilinux.ms.mff.cuni.cz/~urban/MizarModeDoc/MizarMode.info
 Source2-MD5: b669d27408817ee86769efa1c424b1e1
 Source3: http://ktilinux.ms.mff.cuni.cz/~urban/MizarModeDoc/MizarMode.pdf
 Source3-MD5: 54c351365b1d4b1ce3bd0a4c302069a0
 BuildDepends: fink (>= 0.24.12)
 PatchFile: %n.patch
-PatchFile-MD5: 53cb9587fc4074f281050c593d5646fa
+PatchFile-MD5: 18ca2d1bd347f22f085253c5cbe299b5
 PatchScript: sed 's|@PREFIX@|%p|g' < %{PatchFile} | patch -p1
 NoSourceDirectory: true
 DocFiles: README

Index: mizar.patch
===================================================================
RCS file: /cvsroot/fink/experimental/jessealama/finkinfo/mizar.patch,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -d -r1.2 -r1.3
--- mizar.patch	30 Jan 2010 20:11:14 -0000	1.2
+++ mizar.patch	20 Apr 2010 14:51:26 -0000	1.3
@@ -1,6 +1,6 @@
-diff -Naur --exclude='*~' 7.11.05_4.133.1080/emacsen-install 7.11.05_4.133.1080.fink/emacsen-install
---- 7.11.05_4.133.1080/emacsen-install	1970-01-01 01:00:00.000000000 +0100
-+++ 7.11.05_4.133.1080.fink/emacsen-install	2009-12-20 12:55:12.000000000 +0000
+diff -Naur --exclude='*~' mizar/emacsen-install mizar.fink/emacsen-install
+--- mizar/emacsen-install	1970-01-01 01:00:00.000000000 +0100
++++ mizar.fink/emacsen-install	2010-04-20 15:36:01.000000000 +0100
 @@ -0,0 +1,33 @@
 +#!/bin/bash -e
 +
@@ -24,20 +24,20 @@
 +
 +echo >&2 -n "install/mizar-mode: Byte-compiling for ${FLAVOR}..."
 +mkdir -p @PREFIX@/share/${FLAVOR}/site-lisp/mizar;
-+ln -s @PREFIX@/share/emacs/site-lisp/mizar/mizar.el \
-+      @PREFIX@/share/${FLAVOR}/site-lisp/mizar;
++ln -s -f @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 >&1) | gzip -9qf > @PREFIX@/share/doc/mizar-mode/CompilationLog-${FLAVOR}.gz
++(${FLAVOR} --no-init-file --no-site-file --batch -f batch-byte-compile mizar.el >&1 >&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."
++echo >&2 "install/mizar-mode: Compilation log saved in @PREFIX@/share/doc/mizar-ode/CompilationLog-${FLAVOR}.gz."
 +
 +exit 0
-diff -Naur --exclude='*~' 7.11.05_4.133.1080/emacsen-remove 7.11.05_4.133.1080.fink/emacsen-remove
---- 7.11.05_4.133.1080/emacsen-remove	1970-01-01 01:00:00.000000000 +0100
-+++ 7.11.05_4.133.1080.fink/emacsen-remove	2009-12-20 11:59:40.000000000 +0000
+diff -Naur --exclude='*~' mizar/emacsen-remove mizar.fink/emacsen-remove
+--- mizar/emacsen-remove	1970-01-01 01:00:00.000000000 +0100
++++ mizar.fink/emacsen-remove	2010-04-20 15:36:10.000000000 +0100
 @@ -0,0 +1,14 @@
 +#!/bin/bash -e
 +
@@ -47,7 +47,7 @@
 +
 +echo "remove/mizar-mode: Handling removal for emacsen flavor ${FLAVOR}"
 +
-+echo >&2 -n "remove/mizar-mode: Purging compilation log and byte-compiled files or ${FLAVOR}..."
++echo >&2 -n "remove/mizar-mode: Purging compilation log and byte-compiled files r ${FLAVOR}..."
 +rm -f @PREFIX@/share/doc/mizar-mode/CompilationLog-${FLAVOR}.gz
 +rm -Rf @PREFIX@/share/${FLAVOR}/site-lisp/mizar
 +echo >&2 "done."