annotate man/.cvsignore @ 89717:2e9328140e82

Include charset.h. (Vprint_charset_text_property): New variable. (Qdefault): Extern it. (PRINT_STRING_NON_CHARSET_FOUND) (PRINT_STRING_UNSAFE_CHARSET_FOUND): New macros. (print_check_string_result): New variable. (print_check_string_charset_prop): New function. (print_prune_charset_plist): New variable. (print_prune_string_charset): New function. (print_object): Call print_prune_string_charset if Vprint_charset_text_property is not t. (print_interval): Print nothing if itnerval->plist is nil. (syms_of_print): Declare Vprint_charset_text_property as a lisp variable. Init and staticpro print_prune_charset_plist.
author Kenichi Handa <handa@m17n.org>
date Sun, 18 Jan 2004 23:27:07 +0000
parents e54dcde23afd
children adbf7c56937f
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
25838
Dave Love <fx@gnu.org>
parents:
diff changeset
1 *.aux
46387
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
2 *.cp
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
3 *.cps
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
4 *.dvi
25839
Dave Love <fx@gnu.org>
parents: 25838
diff changeset
5 *.fn
Dave Love <fx@gnu.org>
parents: 25838
diff changeset
6 *.fns
46387
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
7 *.ky
25839
Dave Love <fx@gnu.org>
parents: 25838
diff changeset
8 *.kys
46387
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
9 *.log
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
10 *.op
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
11 *.ops
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
12 *.pg
25839
Dave Love <fx@gnu.org>
parents: 25838
diff changeset
13 *.pgs
25850
c92d44f15605 Add *.tp *.tps *.ps.
Dave Love <fx@gnu.org>
parents: 25839
diff changeset
14 *.ps
46387
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
15 *.tmp
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
16 *.toc
25850
c92d44f15605 Add *.tp *.tps *.ps.
Dave Love <fx@gnu.org>
parents: 25839
diff changeset
17 *.tp
c92d44f15605 Add *.tp *.tps *.ps.
Dave Love <fx@gnu.org>
parents: 25839
diff changeset
18 *.tps
46387
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
19 *.vr
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
20 *.vrs
31816
070cf4b710c5 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 29348
diff changeset
21 Makefile