From e65c2c66726dfa77e3b9ab51ae85887884162c8f Mon Sep 17 00:00:00 2001 From: Graham Christensen Date: Thu, 4 Jul 2019 08:30:13 -0400 Subject: docs: find docbook rng from doc-support --- doc/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'doc/Makefile') diff --git a/doc/Makefile b/doc/Makefile index 06a70519488..afd3c781ebf 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -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 -- cgit v1.2.3