annotate msdos/sedleim.inp @ 34685:7218b9b8c2ad

(server-buffer-done): Bury the buffer before killing it.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 18 Dec 2000 17:00:48 +0000
parents 62100be6ca6d
children a4fb0c9be609
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
24020
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1 # -sedleim.inp-----------------------------------------------------------
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
2 # Configuration script for leim/Makefile under DJGPP v2.x
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
3 # ----------------------------------------------------------------------
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
4 /^SHELL *=/c\
25099
00af2bda43f0 (SHELL, MAKESHELL): Use /xyzzy/command as the shell.
Eli Zaretskii <eliz@gnu.org>
parents: 24020
diff changeset
5 SHELL=/xyzzy/command\
00af2bda43f0 (SHELL, MAKESHELL): Use /xyzzy/command as the shell.
Eli Zaretskii <eliz@gnu.org>
parents: 24020
diff changeset
6 MAKESHELL=/xyzzy/command
24020
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
7
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
8 /^version=/d
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
9 /^prefix=/d
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
10 /^datadir=/s|@datadir@|../..|
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
11 /^srcdir=/s|@srcdir@|.|
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
12
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
13 /^INSTALLDIR=/c\
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
14 INSTALLDIR=.
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
15
32252
62100be6ca6d Don't remove the Unix shell invocations.
Eli Zaretskii <eliz@gnu.org>
parents: 25099
diff changeset
16 /RUN-EMACS *=/,/^$/c\
62100be6ca6d Don't remove the Unix shell invocations.
Eli Zaretskii <eliz@gnu.org>
parents: 25099
diff changeset
17 export EMACSLOADPATH=${buildlisppath}\
62100be6ca6d Don't remove the Unix shell invocations.
Eli Zaretskii <eliz@gnu.org>
parents: 25099
diff changeset
18 RUN-EMACS = ${BUILT-EMACS} -batch --no-init-file --no-site-file --multibyte
62100be6ca6d Don't remove the Unix shell invocations.
Eli Zaretskii <eliz@gnu.org>
parents: 25099
diff changeset
19
24020
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
20 /^ cd ../c\
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
21 ${MAKE} -C ../src ${MFLAGS} emacs
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
22
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
23 /else make quail/c\
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
24 if not exist quail\\nul make quail
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
25
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
26 /^leim-list.el:/,/^$/ {
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
27 /^ if/d
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
28 /^ else/,/^ fi/d
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
29 s| *| |
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
30 /^ --eval/,/; \\$/s|\; \\||
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
31 }
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
32
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
33 /^install:/,/^$/c\
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
34 install: all\
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
35
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
36 /^ if test -f/d