Mercurial > emacs
annotate msdos/sed2.inp @ 7416:4996c50431de
(outline-init) New user interface for control of
outline-mode session setup, sets up `outline-find-file-hook',
`outline-layout', and `outline-auto-activation'.
(outline-mode-post-command-business, outline-mode)
(outlineify-sticky): Major new mode activation
scheme. See outline-layout docstring for details.
(outline-layout, outline-use-mode-specific-leader)
(outline-mode-leaders): Variables for new mode-activation scheme.
(outline-expose-topic): New specification format and
optimizations, including thorough accomodation of multiple top-level topics.
(outline-forward-current-level, outline-next-sibling)
(outline-backward-current-level, outline-goto-prefix)
(outline-show-children, outline-up-current-level)
(outline-expose-topic): Behavior refinements and repairs, and
speed optimizations. Better accomodation for multiple top-level topics.
(outline-recent-end-of-subtree): New state var,
basis for many topic-oriented optimizations.
Revisions of many docstrings, for conformance to
GNU standards and/or clarity.
author | Richard M. Stallman <rms@gnu.org> |
---|---|
date | Mon, 09 May 1994 06:36:19 +0000 |
parents | 0dc95caa2188 |
children | 1405fe5b05e0 |
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/ |
6e219f77e69e
We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents:
5219
diff
changeset
|
6 /^#undef REL_ALLOC *$/s/undef/define/ |
6e219f77e69e
We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents:
5219
diff
changeset
|
7 /^#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
|
8 /^#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
|
9 # /^#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
|
10 /^#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
|
11 /^#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
|
12 /^#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
|
13 /^#undef HAVE_TM_ZONE *$/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 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
|
15 /^#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
|
16 /^#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
|
17 /^#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
|
18 /^#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
|
19 /^#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
|
20 /^#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
|
21 /^#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
|
22 /^#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
|
23 /^#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
|
24 /^#undef HAVE_FTIME *$/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 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
|
26 s/^#undef STACK_DIRECTION *$/#define STACK_DIRECTION -1/ |
6e219f77e69e
We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents:
5219
diff
changeset
|
27 s/^#undef CONFIGURATION *$/#define CONFIGURATION "msdos"/ |
6e219f77e69e
We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents:
5219
diff
changeset
|
28 s!^#undef config_opsysfile *$!#define config_opsysfile "s/msdos.h"! |
6e219f77e69e
We have bcmp. Configuration is "msdos". Get rid of ^Ms.
Richard M. Stallman <rms@gnu.org>
parents:
5219
diff
changeset
|
29 s!^#undef config_machfile *$!#define config_machfile "m/dos386.h"! |