diff options
author | Ulrich Müller <ulm@gentoo.org> | 2019-12-17 19:52:08 +0100 |
---|---|---|
committer | Ulrich Müller <ulm@gentoo.org> | 2019-12-17 19:52:08 +0100 |
commit | f2d97490637ae0ae50dfe6165fd1ab53d5b993b4 (patch) | |
tree | da4e4ebb4dab36a0ccf5987fb48977ee3dc86a82 /Makefile | |
parent | Add devbook.rnc for Gentoo devmanual. (diff) | |
download | nxml-gentoo-schemas-f2d97490637ae0ae50dfe6165fd1ab53d5b993b4.tar.gz nxml-gentoo-schemas-f2d97490637ae0ae50dfe6165fd1ab53d5b993b4.tar.bz2 nxml-gentoo-schemas-f2d97490637ae0ae50dfe6165fd1ab53d5b993b4.zip |
mirrors.rnc: New file.
mirrors.dtd was missing from the list of DTDs.
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,4 +1,4 @@ -DTDS = book.dtd devbook.dtd glsa.dtd guide.dtd metadata.dtd \ +DTDS = book.dtd devbook.dtd glsa.dtd guide.dtd metadata.dtd mirrors.dtd \ projects.dtd repositories.dtd DTDDEPS = $(patsubst %.dtd,%.dep,$(DTDS)) |