Mercurial > emacs
annotate msdos/sed2.inp @ 14270:15c3d6255a1c
(sgml-quick-keys): New variable.
(sgml-mode-map): Use it, defined additional long keys to compensate.
(sgml-tag-alist): Added <![ ]>
(sgml-tag): Special treatment for previous construct.
(sgml-auto-attributes): Deleted variable covered by sgml-quick-keys,
changed function of same name.
(sgml-delete-tag): Newline also counts as whitespace before tag.
(html-quick-keys): Use sgml-quick-keys as default, thus changed to nil.
(html-mode-map): Added C-c C-c char combinations for when
html-quick-keys is nil.
(html-tag-alist): Added /cgi-bin/ to href completions, submit (spelling
fixed) button to form.
(html-checkboxes): New skeleton.
author | Richard M. Stallman <rms@gnu.org> |
---|---|
date | Wed, 24 Jan 1996 17:12:21 +0000 |
parents | c52f7f0d5fd5 |
children | 4d6af48d7446 |
rev | line source |
---|---|
7204
6e219f77e69e
We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents:
5219
diff
changeset
|
1 # -sed2.inp------------------------------------------------------------- |
7230
0dc95caa2188
Identify the file being patched as src/...
Richard M. Stallman <rms@gnu.org>
parents:
7204
diff
changeset
|
2 # Configuration script for src/config.h |
7204
6e219f77e69e
We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents:
5219
diff
changeset
|
3 # ---------------------------------------------------------------------- |
6e219f77e69e
We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents:
5219
diff
changeset
|
4 /^#undef LISP_FLOAT_TYPE *$/s/undef/define/ |
6e219f77e69e
We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents:
5219
diff
changeset
|
5 /^#undef GNU_MALLOC *$/s/undef/define/ |
9572 | 6 # To use the djgpp malloc, deactivate the following line and active the next |
7204
6e219f77e69e
We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents:
5219
diff
changeset
|
7 /^#undef REL_ALLOC *$/s/undef/define/ |
9572 | 8 # /^#define GNU_MALLOC *$/s/GNU_MALLOC/SYSTEM_MALLOC/ |
12133 | 9 /^#undef STDC_HEADERS *$/s/undef/define/ |
7204
6e219f77e69e
We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents:
5219
diff
changeset
|
10 /^#undef HAVE_SYS_TIMEB_H *$/s/undef/define/ |
6e219f77e69e
We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents:
5219
diff
changeset
|
11 /^#undef HAVE_SYS_TIME_H *$/s/undef/define/ |
6e219f77e69e
We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents:
5219
diff
changeset
|
12 # /^#undef HAVE_UNISTD_H *$/s/undef/define/ |
6e219f77e69e
We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents:
5219
diff
changeset
|
13 /^#undef HAVE_GETTIMEOFDAY *$/s/undef/define/ |
6e219f77e69e
We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents:
5219
diff
changeset
|
14 /^#undef HAVE_GETHOSTNAME *$/s/undef/define/ |
6e219f77e69e
We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents:
5219
diff
changeset
|
15 /^#undef HAVE_DUP2 *$/s/undef/define/ |
6e219f77e69e
We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents:
5219
diff
changeset
|
16 /^#undef HAVE_TM_ZONE *$/s/undef/define/ |
14259
c52f7f0d5fd5
(LOCALTIME_CACHE, HAVE_TZSET): Define these.
Karl Heuer <kwzh@gnu.org>
parents:
12991
diff
changeset
|
17 /^#undef LOCALTIME_CACHE *$/s/undef/define/ |
c52f7f0d5fd5
(LOCALTIME_CACHE, HAVE_TZSET): Define these.
Karl Heuer <kwzh@gnu.org>
parents:
12991
diff
changeset
|
18 /^#undef HAVE_TZSET *$/s/undef/define/ |
7204
6e219f77e69e
We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents:
5219
diff
changeset
|
19 /^#undef TM_IN_SYS_TIME *$/s/undef/define/ |
6e219f77e69e
We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents:
5219
diff
changeset
|
20 /^#undef TIME_WITH_SYS_TIME *$/s/undef/define/ |
6e219f77e69e
We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents:
5219
diff
changeset
|
21 /^#undef HAVE_RENAME *$/s/undef/define/ |
6e219f77e69e
We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents:
5219
diff
changeset
|
22 /^#undef HAVE_CLOSEDIR *$/s/undef/define/ |
6e219f77e69e
We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents:
5219
diff
changeset
|
23 /^#undef HAVE_RANDOM *$/s/undef/define/ |
6e219f77e69e
We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents:
5219
diff
changeset
|
24 /^#undef HAVE_MKDIR *$/s/undef/define/ |
6e219f77e69e
We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents:
5219
diff
changeset
|
25 /^#undef HAVE_RMDIR *$/s/undef/define/ |
6e219f77e69e
We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents:
5219
diff
changeset
|
26 /^#undef HAVE_BCMP *$/s/undef/define/ |
6e219f77e69e
We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents:
5219
diff
changeset
|
27 /^#undef HAVE_BCOPY *$/s/undef/define/ |
6e219f77e69e
We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents:
5219
diff
changeset
|
28 /^#undef HAVE_FREXP *$/s/undef/define/ |
6e219f77e69e
We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents:
5219
diff
changeset
|
29 /^#undef HAVE_FTIME *$/s/undef/define/ |
8249
6a072f705d7d
(HAVE_STRERROR): Define.
Richard M. Stallman <rms@gnu.org>
parents:
8197
diff
changeset
|
30 /^#undef HAVE_STRERROR *$/s/undef/define/ |
12991 | 31 /^#undef HAVE_TIMEVAL *$/s/undef/define/ |
9572 | 32 /^#undef HAVE_MKTIME *$/s/undef/define/ |
12135
b4ff4bf436e1
Undefine MULTI_FRAME, until somebody fixes msdos.h and msdos.c.
Karl Heuer <kwzh@gnu.org>
parents:
12133
diff
changeset
|
33 /^#define MULTI_FRAME *$/s/define/undef/ |
7204
6e219f77e69e
We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents:
5219
diff
changeset
|
34 s/^#define USER_FULL_NAME .*$/#define USER_FULL_NAME (getenv ("NAME"))/ |
6e219f77e69e
We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents:
5219
diff
changeset
|
35 s/^#undef STACK_DIRECTION *$/#define STACK_DIRECTION -1/ |
7596
1405fe5b05e0
Reflect change from CONFIGURATION to EMACS_CONFIGURATION.
Richard M. Stallman <rms@gnu.org>
parents:
7230
diff
changeset
|
36 s/^#undef EMACS_CONFIGURATION *$/#define EMACS_CONFIGURATION "i386-unknown-msdos"/ |
9572 | 37 s/^#undef EMACS_CONFIG_OPTIONS *$/#define EMACS_CONFIG_OPTIONS "-"/ |
7204
6e219f77e69e
We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents:
5219
diff
changeset
|
38 s!^#undef config_opsysfile *$!#define config_opsysfile "s/msdos.h"! |
8197
d6a441681fb4
Use "m/intel386" instead of "m/dos386.h".
Richard M. Stallman <rms@gnu.org>
parents:
7596
diff
changeset
|
39 s!^#undef config_machfile *$!#define config_machfile "m/intel386.h"! |