diff options
author | 2024-06-11 18:17:59 +0200 | |
---|---|---|
committer | 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 |