--- src/makemake.in.orig	2012-05-30 11:27:19.564691644 -0700
+++ src/makemake.in	2012-05-30 11:29:55.415062484 -0700
@@ -1904,7 +1904,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}"
@@ -3450,9 +3448,9 @@
     clisp.html | clisp.1 | clisp-1.html | \
     clisp-link.html | clisp-link.1 | clisp-link-1.html )
       if [ $HOS = win32 ]; then
-        platform_line=" | sed -e \"s,@PLATFORM@,${TSYS},g\""
+        platform_line=" | sed -e \"s,Platform: @PLATFORM@,User Commands,g\""
       else
-        platform_line=" | sed -e \"s,@PLATFORM@,${host},g\""
+        platform_line=" | sed -e \"s,Platform: @PLATFORM@,User Commands,g\""
       fi
       sourcedir=${SRCDOCDIR} ;;
     *) sourcedir=${SRCDIR} ;;