annotate msdos/sed6.inp @ 45312:2928a834a4d7

(Editing Format Info): Add index entries for text properties at point.
author Eli Zaretskii <eliz@gnu.org>
date Thu, 16 May 2002 03:38:36 +0000
parents 14bc899ea288
children 76e8f941998a d7ddb3e565de
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
40880
3e7c2acdb425 (texinputdir): Add, for the lispref directory.
Eli Zaretskii <eliz@gnu.org>
parents: 36461
diff changeset
1 # -sed6.inp------------------------------------------------------------------
41426
14bc899ea288 (SHELL): Comment away, for lispintro.
Eli Zaretskii <eliz@gnu.org>
parents: 40880
diff changeset
2 # Configuration script for man/Makefile, lispref/Makefile, and
14bc899ea288 (SHELL): Comment away, for lispintro.
Eli Zaretskii <eliz@gnu.org>
parents: 40880
diff changeset
3 # lispintro/Makefile under DJGPP v2.x
40880
3e7c2acdb425 (texinputdir): Add, for the lispref directory.
Eli Zaretskii <eliz@gnu.org>
parents: 36461
diff changeset
4 # ---------------------------------------------------------------------------
36461
a4fb0c9be609 Add copyright notices for all files. README is a new file, mainly
Eli Zaretskii <eliz@gnu.org>
parents: 28972
diff changeset
5 #
40880
3e7c2acdb425 (texinputdir): Add, for the lispref directory.
Eli Zaretskii <eliz@gnu.org>
parents: 36461
diff changeset
6 # Copyright (C) 1997, 2000, 2001
36461
a4fb0c9be609 Add copyright notices for all files. README is a new file, mainly
Eli Zaretskii <eliz@gnu.org>
parents: 28972
diff changeset
7 # Free Software Foundation, Inc.
a4fb0c9be609 Add copyright notices for all files. README is a new file, mainly
Eli Zaretskii <eliz@gnu.org>
parents: 28972
diff changeset
8 #
a4fb0c9be609 Add copyright notices for all files. README is a new file, mainly
Eli Zaretskii <eliz@gnu.org>
parents: 28972
diff changeset
9 # This file is part of GNU Emacs.
a4fb0c9be609 Add copyright notices for all files. README is a new file, mainly
Eli Zaretskii <eliz@gnu.org>
parents: 28972
diff changeset
10 #
a4fb0c9be609 Add copyright notices for all files. README is a new file, mainly
Eli Zaretskii <eliz@gnu.org>
parents: 28972
diff changeset
11 # This file is free software; as a special exception, the author gives
a4fb0c9be609 Add copyright notices for all files. README is a new file, mainly
Eli Zaretskii <eliz@gnu.org>
parents: 28972
diff changeset
12 # unlimited permission to copy and/or distribute it, with or without
a4fb0c9be609 Add copyright notices for all files. README is a new file, mainly
Eli Zaretskii <eliz@gnu.org>
parents: 28972
diff changeset
13 # modifications, as long as this notice is preserved.
a4fb0c9be609 Add copyright notices for all files. README is a new file, mainly
Eli Zaretskii <eliz@gnu.org>
parents: 28972
diff changeset
14 #
a4fb0c9be609 Add copyright notices for all files. README is a new file, mainly
Eli Zaretskii <eliz@gnu.org>
parents: 28972
diff changeset
15 # This program is distributed in the hope that it will be useful,
a4fb0c9be609 Add copyright notices for all files. README is a new file, mainly
Eli Zaretskii <eliz@gnu.org>
parents: 28972
diff changeset
16 # but WITHOUT ANY WARRANTY; without even the implied warranty of
a4fb0c9be609 Add copyright notices for all files. README is a new file, mainly
Eli Zaretskii <eliz@gnu.org>
parents: 28972
diff changeset
17 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
a4fb0c9be609 Add copyright notices for all files. README is a new file, mainly
Eli Zaretskii <eliz@gnu.org>
parents: 28972
diff changeset
18 #
a4fb0c9be609 Add copyright notices for all files. README is a new file, mainly
Eli Zaretskii <eliz@gnu.org>
parents: 28972
diff changeset
19 # ----------------------------------------------------------------------
20283
e69cf70835f9 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
20 /^srcdir *=/s/@[^@\n]*@/./
e69cf70835f9 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
21 /^VPATH *=/s/@[^@\n]*@/./
28972
b77f0b29fdb9 Changes to allow "make foo.dvi" on DJGPP platforms:
Eli Zaretskii <eliz@gnu.org>
parents: 20283
diff changeset
22 /^ENVADD/c\
b77f0b29fdb9 Changes to allow "make foo.dvi" on DJGPP platforms:
Eli Zaretskii <eliz@gnu.org>
parents: 20283
diff changeset
23 ENVADD =\
b77f0b29fdb9 Changes to allow "make foo.dvi" on DJGPP platforms:
Eli Zaretskii <eliz@gnu.org>
parents: 20283
diff changeset
24 export TEXINPUTS := $(srcdir)";"$(TEXINPUTS)\
b77f0b29fdb9 Changes to allow "make foo.dvi" on DJGPP platforms:
Eli Zaretskii <eliz@gnu.org>
parents: 20283
diff changeset
25 export MAKEINFO := $(MAKEINFO) -I$(srcdir)
40880
3e7c2acdb425 (texinputdir): Add, for the lispref directory.
Eli Zaretskii <eliz@gnu.org>
parents: 36461
diff changeset
26 /^texinputdir/c\
3e7c2acdb425 (texinputdir): Add, for the lispref directory.
Eli Zaretskii <eliz@gnu.org>
parents: 36461
diff changeset
27 texinputdir =\
3e7c2acdb425 (texinputdir): Add, for the lispref directory.
Eli Zaretskii <eliz@gnu.org>
parents: 36461
diff changeset
28 export texinputdir := $(srcdir)";"$(TEXINPUTS)
41426
14bc899ea288 (SHELL): Comment away, for lispintro.
Eli Zaretskii <eliz@gnu.org>
parents: 40880
diff changeset
29 /^SHELL *=/s/^/# /