diff options
author | 2020-02-29 16:59:08 +0100 | |
---|---|---|
committer | 2020-02-29 16:59:08 +0100 | |
commit | 4a1383f3f12782fd1d4f229d8784e22339508fb7 (patch) | |
tree | af1adaea807ae63db9de205a762f3d29bb8f412f | |
parent | devbook.rnc: Update from DTD. (diff) | |
download | nxml-gentoo-schemas-4a1383f3f12782fd1d4f229d8784e22339508fb7.tar.gz nxml-gentoo-schemas-4a1383f3f12782fd1d4f229d8784e22339508fb7.tar.bz2 nxml-gentoo-schemas-4a1383f3f12782fd1d4f229d8784e22339508fb7.zip |
Makefile: Update URL for devbook.dtd.
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
-rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -48,6 +48,7 @@ $(TARBALL): Makefile LICENCE schemas.xml $(RNCS) wget -N --no-verbose https://www.gentoo.org/dtd/$@ devbook.dtd: - wget -N --no-verbose https://devmanual.gentoo.org/$@ + wget -N --no-verbose \ + https://gitweb.gentoo.org/proj/devmanual.git/plain/$@ -include .depend |