diff options
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | Makefile | 19 |
2 files changed, 12 insertions, 8 deletions
@@ -1,2 +1,3 @@ *.dtd +*.stamp *.tar.xz @@ -1,7 +1,7 @@ -DTDS = devbook.dtd glsa.dtd metadata.dtd mirrors.dtd \ - projects.dtd repositories.dtd userinfo.dtd +DTDS = glsa.dtd metadata.dtd mirrors.dtd projects.dtd \ + repositories.dtd userinfo.dtd -RNCS = $(patsubst %.dtd,%.rnc,$(DTDS)) +RNCS = $(patsubst %.dtd,%.rnc,$(DTDS)) devbook.rnc ifneq ($(PV),) P=nxml-gentoo-schemas-$(PV) @@ -10,7 +10,7 @@ P=nxml-gentoo-schemas-$(shell TZ=UTC date '+%Y%m%d') endif .PHONY: all dist clean -.PRECIOUS: $(RNCS) $(DTDS) +.PRECIOUS: $(RNCS) all: $(RNCS) @@ -18,14 +18,17 @@ dist: Makefile LICENCE schemas.xml $(RNCS) tar -cJf $(P).tar.xz --transform='s%^%$(P)/%' $^ clean: - rm -f *.dtd *.tar.xz + rm -f *.dtd *.stamp *.tar.xz %.rnc: %.dtd trang -I dtd -O rnc $< $@ -%.dtd: +$(DTDS): wget -N --no-verbose https://www.gentoo.org/dtd/$@ -devbook.dtd: +devbook.rnc: devbook.stamp + +devbook.stamp: wget -N --no-verbose \ - https://gitweb.gentoo.org/proj/devmanual.git/plain/$@ + https://gitweb.gentoo.org/proj/devmanual.git/plain/devbook.rnc + touch -r devbook.rnc $@ |