annotate msdos/sed1v2.inp @ 18444:825ff9e2e44e

(read_minibuf): New arg allow_props. If it is 0, discard text properties from the result. Callers changed. (minibuffer_allow_text_properties): New variable. (Fread_from_minibuffer): That variable controls allow_props arg. (syms_of_minibuf): Set up Lisp var.
author Richard M. Stallman <rms@gnu.org>
date Wed, 25 Jun 1997 05:45:46 +0000
parents 5c431b2e0f95
children 48fd714b8115
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
14967
5c431b2e0f95 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1 # -sed1v2.inp-----------------------------------------------------------
5c431b2e0f95 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
2 # Configuration script for src/makefile under DJGPP v2.x
5c431b2e0f95 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
3 # ----------------------------------------------------------------------
5c431b2e0f95 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
4 s/^#.*//
5c431b2e0f95 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
5 s/^[ \f\t][ \f\t]*$//
5c431b2e0f95 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
6 s/^ / /
5c431b2e0f95 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
7 s/\.h\.in/.h-in/
5c431b2e0f95 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
8 /^ \.\/temacs/i\
5c431b2e0f95 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
9 stubedit temacs.exe minstack=40k
5c431b2e0f95 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
10 /^MAKE *=/s/^/# /
5c431b2e0f95 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
11 /^SHELL *=/s/^/# /
5c431b2e0f95 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
12 /^srcdir *=/s/@[^@\n]*@/./
5c431b2e0f95 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
13 /^VPATH *=/s/@[^@\n]*@/./
5c431b2e0f95 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
14 /^CC *=/s/@[^@\n]*@/gcc/
5c431b2e0f95 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
15 /^CPP *=/s/@[^@\n]*@/gcc -e/
5c431b2e0f95 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
16 /^CFLAGS *=/s/@[^@\n]*@/-O2 -g/
5c431b2e0f95 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
17 /^LN_S *=/s/@[^@\n]*@/ln -s/
5c431b2e0f95 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
18 /^M_FILE *=/s!@[^@\n]*@!m/intel386.h!
5c431b2e0f95 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
19 /^S_FILE *=/s!@[^@\n]*@!s/msdos.h!
5c431b2e0f95 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
20 /^@SET_MAKE@$/s/@SET_MAKE@//
5c431b2e0f95 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
21 /^.\${libsrc}make-docfile.*>/s!make-docfile!make-docfile -o ../etc/DOC!
5c431b2e0f95 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
22 /^.\${libsrc}make-doc/s!>.*$!!
5c431b2e0f95 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
23 /^[ ]*$/d
5c431b2e0f95 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
24 /^temacs:/s/prefix-args//
5c431b2e0f95 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
25 /^ #/d