--- src.orig/makemake.in	Fri Oct 24 06:27:58 2008
+++ src/makemake.in	Mon Feb  2 15:48:08 2009
@@ -1826,7 +1826,7 @@
 echol "#   make distrib VERSION_SUFFIX=pre"
 echol "VERSION_SUFFIX="
 echol "# The distribution's top directory"
-echol 'TOPDIR=clisp-$(VERSION)$(VERSION_SUFFIX)'
+echol 'TOPDIR=clisp'
 echol
 echol '# Directories used by "make install":'
 echol "prefix = ${PREFIX}"
@@ -3379,8 +3379,8 @@
   case $f in
     clisp.html | clisp.1 | clisp-1.html)
       if [ $HOS = win32 ];
-      then platform_line=" | sed -e \"s,@PLATFORM@,${TSYS},g\""
-      else platform_line=" | sed -e \"s,@PLATFORM@,${host},g\""
+      then platform_line=" | sed -e \"s,Platform: @PLATFORM@,User Commands,g\""
+      else platform_line=" | sed -e \"s,Platform: @PLATFORM@,User Commands,g\""
       fi
       sourcedir=${SRCDOCDIR} ;;
     *) sourcedir=${SRCDIR} ;;