1 --- src/makemake.in.orig	2012-05-30 11:27:19.564691644 -0700

     2 +++ src/makemake.in	2012-05-30 11:29:55.415062484 -0700

     3 @@ -1904,7 +1904,7 @@

     4  echol "#   make distrib VERSION_SUFFIX=pre"

     5  echol "VERSION_SUFFIX="

     6  echol "# The distribution's top directory"

     7 -echol 'TOPDIR=clisp-$(VERSION)$(VERSION_SUFFIX)'

     8 +echol 'TOPDIR=clisp'

     9  echol

    10  echol '# Directories used by "make install":'

    11  echol "prefix = ${PREFIX}"

    12 @@ -3450,9 +3448,9 @@

    13      clisp.html | clisp.1 | clisp-1.html | \

    14      clisp-link.html | clisp-link.1 | clisp-link-1.html )

    15        if [ $HOS = win32 ]; then

    16 -        platform_line=" | sed -e \"s,@PLATFORM@,${TSYS},g\""

    17 +        platform_line=" | sed -e \"s,Platform: @PLATFORM@,User Commands,g\""

    18        else

    19 -        platform_line=" | sed -e \"s,@PLATFORM@,${host},g\""

    20 +        platform_line=" | sed -e \"s,Platform: @PLATFORM@,User Commands,g\""

    21        fi

    22        sourcedir=${SRCDOCDIR} ;;

    23      *) sourcedir=${SRCDIR} ;;