annotate etc/nxml/0FFF0-0FFFF.el @ 112443:295000738bf5

Improve configuration of makeinfo. * Makefile.in (MAKEINFO): Now controlled by `configure'. (MAKEINFO_OPTS): New variable. Use it where appropriate. (ENVADD): New variable to control texi2dvi and texi2pdf.
author Werner Lemberg <wl@gnu.org>
date Sun, 23 Jan 2011 11:31:21 +0100
parents ef719132ddfa
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
86698
d3851627d1f0 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1 (nxml-define-char-name-set 'specials
d3851627d1f0 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
2 '(("INTERLINEAR ANNOTATION ANCHOR" #xFFF9)
d3851627d1f0 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
3 ("INTERLINEAR ANNOTATION SEPARATOR" #xFFFA)
d3851627d1f0 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
4 ("INTERLINEAR ANNOTATION TERMINATOR" #xFFFB)
d3851627d1f0 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
5 ("OBJECT REPLACEMENT CHARACTER" #xFFFC)
d3851627d1f0 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
6 ("REPLACEMENT CHARACTER" #xFFFD)
d3851627d1f0 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
7 ))
d3851627d1f0 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
8