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
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)'
10 echol '# Directories used by "make install":'
11 echol "prefix = ${PREFIX}"
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\""
19 - platform_line=" | sed -e \"s,@PLATFORM@,${host},g\""
20 + platform_line=" | sed -e \"s,Platform: @PLATFORM@,User Commands,g\""
22 sourcedir=${SRCDOCDIR} ;;
23 *) sourcedir=${SRCDIR} ;;