annotate msdos/sed6.inp @ 30929:3d5ccbaddc59

Set to standard author/maintainer/keyword fields. Fine tuning to menu map appearance and operation, and added help. Remove `start' and `end' error messages when compiling. (ispell-choices-win-default-height): Fixed comment string. (ispell-dictionary-alist-1): Fixed regexp in castellano and castellano8 dictionaries. (ispell-dictionary-alist-3): Fixed regexp in francais dictionary. (ispell-dictionary-alist-4): Fixed regexp in francais-tex dictionary, added italiano dictionary. (ispell-skip-region-alist): Removed regexp thrashing when `-' is a word character (ispell-tex-skip-alists): Added psfig support. (ispell-skip-html): Renamed from ispell-skip-sgml. (ispell-begin-skip-region-regexp, ispell-skip-region) (ispell-minor-check): Improved html skipping support to skip across code, and recognize `&' commands without propper `;' syntax; (ispell-process-line): Fix alignment error when manually correcting spelling. (ispell): Fix comment string. (ispell-add-per-file-word-list): Always put word list on new line.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 17 Aug 2000 20:54:01 +0000
parents b77f0b29fdb9
children a4fb0c9be609
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
20283
e69cf70835f9 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1 # -sed6.inp-----------------------------------------------------------
e69cf70835f9 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
2 # Configuration script for man/Makefile under DJGPP v2.x
e69cf70835f9 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
3 # ----------------------------------------------------------------------
e69cf70835f9 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
4 /^srcdir *=/s/@[^@\n]*@/./
e69cf70835f9 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
5 /^VPATH *=/s/@[^@\n]*@/./
28972
b77f0b29fdb9 Changes to allow "make foo.dvi" on DJGPP platforms:
Eli Zaretskii <eliz@gnu.org>
parents: 20283
diff changeset
6 /^ENVADD/c\
b77f0b29fdb9 Changes to allow "make foo.dvi" on DJGPP platforms:
Eli Zaretskii <eliz@gnu.org>
parents: 20283
diff changeset
7 ENVADD =\
b77f0b29fdb9 Changes to allow "make foo.dvi" on DJGPP platforms:
Eli Zaretskii <eliz@gnu.org>
parents: 20283
diff changeset
8 export TEXINPUTS := $(srcdir)";"$(TEXINPUTS)\
b77f0b29fdb9 Changes to allow "make foo.dvi" on DJGPP platforms:
Eli Zaretskii <eliz@gnu.org>
parents: 20283
diff changeset
9 export MAKEINFO := $(MAKEINFO) -I$(srcdir)