docs: find docbook rng from doc-support

2019-07-04 09:10:13 -04:00
parent d11f5a9d15
commit e65c2c6672
3 changed files with 5 additions and 3 deletions
@@ -25,8 +25,8 @@ clean:
 	rm -rf ./out/ ./highlightjs

 .PHONY: validate
-validate: manual-full.xml
-	jing "$$RNG" manual-full.xml
+validate: manual-full.xml doc-support/result
+	jing doc-support/result/docbook.rng manual-full.xml

 out/html/index.html: manual-full.xml style.css highlightjs
 	mkdir -p out/html