File build.patch of Package mined
diff -ru mined-2000.12.2.orig/src/mkinclud.mak mined-2000.12.2/src/mkinclud.mak
--- mined-2000.12.2.orig/src/mkinclud.mak 2006-04-05 11:24:36.000000000 +0200
+++ mined-2000.12.2/src/mkinclud.mak 2006-07-11 16:30:37.000000000 +0200
@@ -418,7 +418,6 @@
# Installation:
# or installation to system-specific dir with make install root=...
install: mined help man
- strip mined$(EXE)
mkdir -p $(bindir)
$(INSTALLBIN) mined $(bindir)
$(installscript) ../usrshare/bin/uterm $(bindir)