annotate config.bat @ 13976:940b85836a78

(docref-subst): Doc fix.
author Karl Heuer <kwzh@gnu.org>
date Thu, 04 Jan 1996 23:32:28 +0000
parents 327ff78701e0
children 63951d3f3995
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1 @echo off
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
2 rem ----------------------------------------------------------------------
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
3 rem Configuration script for MSDOS
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
4 rem Copyright (C) 1994 Free Software Foundation, Inc.
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
5
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
6 rem This file is part of GNU Emacs.
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
7
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
8 rem GNU Emacs is free software; you can redistribute it and/or modify
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
9 rem it under the terms of the GNU General Public License as published by
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
10 rem the Free Software Foundation; either version 2, or (at your option)
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
11 rem any later version.
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
12
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
13 rem GNU Emacs is distributed in the hope that it will be useful,
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
14 rem but WITHOUT ANY WARRANTY; without even the implied warranty of
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
15 rem MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
16 rem GNU General Public License for more details.
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
17
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
18 rem You should have received a copy of the GNU General Public License
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
19 rem along with GNU Emacs; see the file COPYING. If not, write to
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
20 rem the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
21 rem ----------------------------------------------------------------------
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
22 rem YOU'LL NEED THE FOLLOWING UTILITIES TO MAKE EMACS:
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
23 rem
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
24 rem + msdos version 3 or better.
13927
327ff78701e0 Discuss djgpp version; eliminate mention of Simtel.
Richard M. Stallman <rms@gnu.org>
parents: 12992
diff changeset
25 rem + djgpp version 1,11 maint 4 or better (but not version 2).
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
26 rem + make utility that allows breaking of the 128 chars limit on
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
27 rem command lines. ndmake (as of version 4.5) won't work due to a
13927
327ff78701e0 Discuss djgpp version; eliminate mention of Simtel.
Richard M. Stallman <rms@gnu.org>
parents: 12992
diff changeset
28 rem line length limit. The make that comes with djgpp does work.
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
29 rem + rm, mv, chmod (From GNU file utilities).
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
30 rem + sed.
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
31 rem
13927
327ff78701e0 Discuss djgpp version; eliminate mention of Simtel.
Richard M. Stallman <rms@gnu.org>
parents: 12992
diff changeset
32 rem You should be able to get all the above utilities from
327ff78701e0 Discuss djgpp version; eliminate mention of Simtel.
Richard M. Stallman <rms@gnu.org>
parents: 12992
diff changeset
33 rem oak.oakland.edu in the directories
327ff78701e0 Discuss djgpp version; eliminate mention of Simtel.
Richard M. Stallman <rms@gnu.org>
parents: 12992
diff changeset
34 rem "/pub/msdos/djgpp" and "/pub/msdos/gnuish". There are other mirror
327ff78701e0 Discuss djgpp version; eliminate mention of Simtel.
Richard M. Stallman <rms@gnu.org>
parents: 12992
diff changeset
35 rem sites as well.
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
36 rem ----------------------------------------------------------------------
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
37 set X11=
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
38 set nodebug=
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
39 :again
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
40 if "%1" == "" goto usage
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
41 if "%1" == "--with-x" goto withx
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
42 if "%1" == "--no-debug" goto nodebug
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
43 if "%1" == "msdos" goto msdos
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
44 :usage
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
45 echo Usage: config [--with-x] [--no-debug] msdos
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
46 echo [Read the script before you run it.]
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
47 goto end
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
48 rem ----------------------------------------------------------------------
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
49 :withx
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
50 set X11=Y
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
51 shift
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
52 goto again
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
53 rem ----------------------------------------------------------------------
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
54 :nodebug
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
55 set nodebug=Y
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
56 shift
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
57 goto again
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
58 rem ----------------------------------------------------------------------
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
59 :msdos
12992
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
60 Echo Checking whether 'sed' is available...
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
61 sed -e "w junk.$$$" <Nul
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
62 If Exist junk.$$$ Goto sedOk
12992
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
63 Echo To configure 'Emacs' you need to have 'sed'!
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
64 Goto End
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
65 :sedOk
12992
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
66 Echo Checking whether 'rm' is available...
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
67 rm -f junk.$$$
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
68 If Not Exist junk.$$$ Goto rmOk
12992
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
69 Echo To configure 'Emacs' you need to have 'rm'!
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
70 Goto End
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
71 :rmOk
12992
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
72 Echo Checking whether 'mv' is available...
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
73 rm -f junk.1 junk.2
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
74 echo foo >junk.1
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
75 mv junk.1 junk.2
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
76 If Exist junk.2 Goto mvOk
12992
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
77 Echo To configure 'Emacs' you need to have 'mv'!
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
78 rm -f junk.1
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
79 Goto End
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
80 :mvOk
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
81 rm -f junk.2
12992
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
82 Echo Checking whether 'gcc' is available...
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
83 echo main(){} >junk.c
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
84 gcc -c junk.c
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
85 if exist junk.o goto gccOk
12992
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
86 Echo To configure 'Emacs' you need to have 'gcc'!
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
87 rm -f junk.c
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
88 Goto End
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
89 :gccOk
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
90 rm -f junk.c junk.o
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
91 Rem ----------------------------------------------------------------------
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
92 Echo Configuring the source directory...
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
93 cd src
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
94
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
95 rem Create "paths.h"
12992
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
96 sed -f ../msdos/sed4.inp <paths.in >paths.tmp
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
97 update paths.tmp paths.h >nul
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
98 rm -f paths.tmp
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
99
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
100 rem Create "config.h"
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
101 rm -f config.h2 config.tmp
12992
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
102 cp config.in config.tmp
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
103 if "%X11%" == "" goto src4
12992
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
104 sed -f ../msdos/sed2x.inp <config.in >config.tmp
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
105 :src4
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
106 sed -f ../msdos/sed2.inp <config.tmp >config.h2
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
107 update config.h2 config.h >nul
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
108 rm -f config.tmp config.h2
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
109
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
110 rem On my system dir.h gets in the way. It's a VMS file so who cares.
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
111 if exist dir.h ren dir.h vmsdir.h
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
112
12992
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
113 rem Create "makefile" from "makefile.in".
5486
c87d1cd3f62a *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5484
diff changeset
114 rm -f makefile junk.c
12992
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
115 sed -e "1,/cpp stuff/s@^# .*$@@" <makefile.in >junk.c
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
116 gcc -E junk.c | sed -f ../msdos/sed1.inp >makefile
5486
c87d1cd3f62a *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5484
diff changeset
117 rm -f junk.c
12992
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
118
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
119 if "%X11%" == "" goto src5
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
120 mv makefile makefile.tmp
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
121 sed -f ../msdos/sed1x.inp <makefile.tmp >makefile
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
122 rm -f makefile.tmp
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
123 :src5
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
124
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
125 if "%nodebug%" == "" goto src6
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
126 sed -e "/^CFLAGS *=/s/ *-g//" <makefile >makefile.tmp
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
127 mv -f makefile.tmp makefile
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
128 :src6
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
129 cd ..
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
130 rem ----------------------------------------------------------------------
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
131 Echo Configuring the library source directory...
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
132 cd lib-src
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
133 rem Create "makefile" from "makefile.in".
12992
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
134 sed -e "1,/cpp stuff/s@^# .*$@@" <makefile.in >junk.c
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
135 gcc -E -I. -I../src junk.c | sed -e "s/^ / /" -e "/^#/d" -e "/^[ ]*$/d" >makefile.new
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
136 sed -f ../msdos/sed3.inp <makefile.new >makefile
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
137 rm -f makefile.new junk.c
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
138 if "%nodebug%" == "" goto libsrc2
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
139 sed -e "/^CFLAGS *=/s/ *-g//" <makefile >makefile.tmp
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
140 mv -f makefile.tmp makefile
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
141 :libsrc2
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
142 cd ..
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
143 rem ----------------------------------------------------------------------
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
144 if "%X11%" == "" goto oldx1
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
145 Echo Configuring the oldxmenu directory...
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
146 cd oldxmenu
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
147 sed -f ../msdos/sed5x.inp <makefile.in >makefile
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
148 if "%nodebug%" == "" goto oldx2
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
149 sed -e "/^CFLAGS *=/s/ *-g//" <makefile >makefile.tmp
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
150 mv -f makefile.tmp makefile
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
151 :oldx2
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
152 cd ..
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
153 :oldx1
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
154 rem ----------------------------------------------------------------------
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
155 Echo Configuring the main directory...
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
156 copy msdos\mainmake makefile >nul
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
157 rem ----------------------------------------------------------------------
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
158 :end
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
159 set X11=
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
160 set nodebug=