[MLton-commit] r4053

[Stephen Weeks]

Fixed Debian postinst script.

----------------------------------------------------------------------

U   mlton/trunk/package/debian/changelog
U   mlton/trunk/package/debian/mlton.postinst

----------------------------------------------------------------------

Modified: mlton/trunk/package/debian/changelog
===================================================================
--- mlton/trunk/package/debian/changelog	2005-08-30 20:31:20 UTC (rev 4052)
+++ mlton/trunk/package/debian/changelog	2005-08-31 17:59:25 UTC (rev 4053)
@@ -2,6 +2,7 @@
 
   * remaking package, linking normally with libgmp.  Thus, the package
     will depend on libgmp3c2, but that is OK for unstable.
+  * Fixed postinst script. closes: #324859
 
  -- Stephen Weeks <sweeks@sweeks.com>  Fri, 26 Aug 2005 20:13:00 -0700
 

Modified: mlton/trunk/package/debian/mlton.postinst
===================================================================
--- mlton/trunk/package/debian/mlton.postinst	2005-08-30 20:31:20 UTC (rev 4052)
+++ mlton/trunk/package/debian/mlton.postinst	2005-08-31 17:59:25 UTC (rev 4053)
@@ -3,7 +3,7 @@
 set -e
 
 if [ "$1" = configure ] && which install-docs >/dev/null 2>&1; then
-	for f in mllex mlton mlyacc; do
+	for f in mllex mlyacc; do
 		install-docs -i /usr/share/doc-base/$f
 	done
 fi