annotate etc/schema/xhtml-xstyle.rnc @ 110750:cad6890bb825

Minor doc Makefile.in clean-up. * doc/emacs/Makefile.in (SHELL): Set it. (INFO_TARGETS, DVI_TARGETS): Remove variables. (info, dvi): Replace above variables with their expansions. (info): Move mkdir from here... ($(infodir)/emacs): ... to here (for parallel builds). (pdf): New target. ($(infodir)/emacs): Pass -o option to makeinfo. (.PHONY): Declare clean rules. (maintainer-clean): Delete dvi and pdf files. Guard against cd failures. Use a more restrictive delete. * doc/lispref/Makefile.in (dvi, pdf, $(infodir)): New targets. ($(infodir)/elisp): Ensure target directory exists. Use $@. (clean): No 'make.out' or 'core' files. (.PHONY): Declare clean rules. (maintainer-clean): Delete pdf file. Guard against cd failures.
author Glenn Morris <rgm@gnu.org>
date Sun, 03 Oct 2010 17:49:20 -0700
parents 55a95acb5aa1
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
87298
55a95acb5aa1 Renamed xhtml-style.rnc to xhtml-xstyle.rnc; all users changed.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1 # Style Module
55a95acb5aa1 Renamed xhtml-style.rnc to xhtml-xstyle.rnc; all users changed.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
2
55a95acb5aa1 Renamed xhtml-style.rnc to xhtml-xstyle.rnc; all users changed.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
3 style = element style { style.attlist, text }
55a95acb5aa1 Renamed xhtml-style.rnc to xhtml-xstyle.rnc; all users changed.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
4 style.attlist =
55a95acb5aa1 Renamed xhtml-style.rnc to xhtml-xstyle.rnc; all users changed.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
5 title.attrib,
55a95acb5aa1 Renamed xhtml-style.rnc to xhtml-xstyle.rnc; all users changed.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
6 I18n.attrib,
55a95acb5aa1 Renamed xhtml-style.rnc to xhtml-xstyle.rnc; all users changed.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
7 attribute type { ContentType.datatype },
55a95acb5aa1 Renamed xhtml-style.rnc to xhtml-xstyle.rnc; all users changed.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
8 attribute media { MediaDesc.datatype }?,
55a95acb5aa1 Renamed xhtml-style.rnc to xhtml-xstyle.rnc; all users changed.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
9 attribute xml:space { "preserve" }?
55a95acb5aa1 Renamed xhtml-style.rnc to xhtml-xstyle.rnc; all users changed.
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
10 head.content &= style*