1 --- src.orig/makemake.in Fri Oct 24 06:27:58 2008 |
1 --- src/makemake.in.orig 2012-05-30 11:27:19.564691644 -0700 |
2 +++ src/makemake.in Mon Feb 2 15:48:08 2009 |
2 +++ src/makemake.in 2012-05-30 11:29:55.415062484 -0700 |
3 @@ -1826,7 +1826,7 @@ |
3 @@ -1904,7 +1904,7 @@ |
4 echol "# make distrib VERSION_SUFFIX=pre" |
4 echol "# make distrib VERSION_SUFFIX=pre" |
5 echol "VERSION_SUFFIX=" |
5 echol "VERSION_SUFFIX=" |
6 echol "# The distribution's top directory" |
6 echol "# The distribution's top directory" |
7 -echol 'TOPDIR=clisp-$(VERSION)$(VERSION_SUFFIX)' |
7 -echol 'TOPDIR=clisp-$(VERSION)$(VERSION_SUFFIX)' |
8 +echol 'TOPDIR=clisp' |
8 +echol 'TOPDIR=clisp' |
9 echol |
9 echol |
10 echol '# Directories used by "make install":' |
10 echol '# Directories used by "make install":' |
11 echol "prefix = ${PREFIX}" |
11 echol "prefix = ${PREFIX}" |
12 @@ -3379,8 +3379,8 @@ |
12 @@ -3450,9 +3448,9 @@ |
13 case $f in |
13 clisp.html | clisp.1 | clisp-1.html | \ |
14 clisp.html | clisp.1 | clisp-1.html) |
14 clisp-link.html | clisp-link.1 | clisp-link-1.html ) |
15 if [ $HOS = win32 ]; |
15 if [ $HOS = win32 ]; then |
16 - then platform_line=" | sed -e \"s,@PLATFORM@,${TSYS},g\"" |
16 - platform_line=" | sed -e \"s,@PLATFORM@,${TSYS},g\"" |
17 - else platform_line=" | sed -e \"s,@PLATFORM@,${host},g\"" |
17 + platform_line=" | sed -e \"s,Platform: @PLATFORM@,User Commands,g\"" |
18 + then platform_line=" | sed -e \"s,Platform: @PLATFORM@,User Commands,g\"" |
18 else |
19 + else 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\"" |
20 fi |
21 fi |
21 sourcedir=${SRCDOCDIR} ;; |
22 sourcedir=${SRCDOCDIR} ;; |
22 *) sourcedir=${SRCDIR} ;; |
23 *) sourcedir=${SRCDIR} ;; |