summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.gitignore2
-rw-r--r--Makefile21
2 files changed, 6 insertions, 17 deletions
diff --git a/.gitignore b/.gitignore
index cf60873..b5624b7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1 @@
-*.dtd
-*.stamp
*.tar.xz
diff --git a/Makefile b/Makefile
index 57ca512..a3a384a 100644
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,5 @@
-DTDS = glsa.dtd metadata.dtd mirrors.dtd projects.dtd \
- repositories.dtd userinfo.dtd
-
-RNCS = $(patsubst %.dtd,%.rnc,$(DTDS)) devbook.rnc
+RNCS = devbook.rnc glsa.rnc metadata.rnc mirrors.rnc projects.rnc \
+ repositories.rnc userinfo.rnc
ifneq ($(PV),)
P=nxml-gentoo-schemas-$(PV)
@@ -18,17 +16,10 @@ dist: Makefile LICENCE schemas.xml $(RNCS)
tar -cJf $(P).tar.xz --transform='s%^%$(P)/%' $^
clean:
- rm -f *.dtd *.stamp *.tar.xz
+ rm -f *.tar.xz
-%.rnc: %.dtd
+%.rnc: dtd/%.dtd
trang -I dtd -O rnc $< $@
-$(DTDS):
- wget -N --no-verbose https://www.gentoo.org/dtd/$@
-
-devbook.rnc: devbook.stamp
-
-devbook.stamp:
- wget -N --no-verbose \
- https://gitweb.gentoo.org/proj/devmanual.git/plain/devbook.rnc
- touch -r devbook.rnc $@
+devbook.rnc: devmanual/devbook.rnc
+ cp $< $@