diff options
| author |   Ulrich Müller <ulm@gentoo.org> | 2024-06-11 18:17:59 +0200 |
|---|---|---|
| committer | Ulrich Müller <ulm@gentoo.org> | 2024-06-11 18:17:59 +0200 |
| commit | 10510e60c2f5b5e3a3cc9c54d5a8d38ea6288b1a (patch) | |
| tree | bbf45e23d588362adab8a15f6977aeadaae5ca7a | |
| parent | devbook.xsl: Rename parameter of repeat-string template (diff) | |
| download | devmanual-10510e60c2f5b5e3a3cc9c54d5a8d38ea6288b1a.tar.gz devmanual-10510e60c2f5b5e3a3cc9c54d5a8d38ea6288b1a.tar.bz2 devmanual-10510e60c2f5b5e3a3cc9c54d5a8d38ea6288b1a.zip | |
Makefile: Check if /guide/@self agrees with the document path
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
| -rw-r--r-- | Makefile | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -89,6 +89,13 @@ install: all validate: devbook.rng @xmllint --noout --quiet --relaxng $< $(XMLS) + @# Check if /guide/@self agrees with the document path + @for file in $(XMLS); do \ + self=$$(xmllint --quiet --xpath 'string(/guide/@self)' $${file}); \ + if test "$${self}text.xml" != "$${file#./}"; then \ + echo "$${file}: bad self attribute '$${self}'"; exit 1; \ + fi; \ + done @echo "xmllint validation successful" %.rng: %.rnc |