Mercurial > emacs
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 |
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* |