diff -up asl-142-Bld82/install.sh.install asl-142-Bld82/install.sh

--- asl-142-Bld82/install.sh.install	2012-01-14 06:24:21.000000000 -0800

+++ asl-142-Bld82/install.sh	2012-01-21 22:29:48.614330602 -0800

@@ -31,7 +31,6 @@ if [ "${BINPATH}" != "" ]; then

  chmod 755 ${BINPATH}

  for i in asl plist alink pbind p2hex p2bin; do

   echo ${BINPATH}/$i

-  strip $i

   cp $i ${BINPATH}

   chmod 755 ${BINPATH}/$i

  done

@@ -74,7 +73,7 @@ if [ "${DOCPATH}" != "" ]; then

  for i in DE EN; do

   if [ -f doc_$i/as.html ]; then

     echo ${DOCPATH}/as-$i.doc

-    cp doc_$i/as.doc ${DOCPATH}/as-$i.doc

+    cp doc_$i/as.doc ${DOCPATH}/as-$i.txt

   fi

   echo ${DOCPATH}/as-$i.tex

   cp doc_$i/as.tex ${DOCPATH}/as-$i.tex