diff options
| -rw-r--r-- | .gitignore | 2 | ||||
| -rw-r--r-- | Makefile | 21 |
2 files changed, 6 insertions, 17 deletions
@@ -1,3 +1 @@ -*.dtd -*.stamp *.tar.xz @@ -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 $< $@ |