diff options
author | Graham Christensen <graham@grahamc.com> | 2019-07-04 08:30:13 -0400 |
---|---|---|
committer | Graham Christensen <graham@grahamc.com> | 2019-07-04 09:10:13 -0400 |
commit | e65c2c66726dfa77e3b9ab51ae85887884162c8f (patch) | |
tree | f9671c1df09d37ad10f1653cdc21ca835c4806a6 /doc/Makefile | |
parent | d11f5a9d15c2d1eb735750392d69d515ae51df6c (diff) |
docs: find docbook rng from doc-support
Diffstat (limited to 'doc/Makefile')
-rw-r--r-- | doc/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/Makefile b/doc/Makefile index 06a70519488e0..afd3c781ebf9b 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 |